Stars
a structural diff that understands syntax 🟥🟩
LLM UI with advanced features, easy setup, and multiple backend support.
Removes account requirements and telemetry from Oculus Quest devices
Material and code for the practical sessions for the course: Techniques of AI [INFOH410]
A modern commutative diagram editor for the web.
Solution to Algebra, Chapter 0
Chicago undergraduate mathematics bibliography
Development tools for https://github.com/leanprover-community/mathlib
Create beautiful diagrams just by typing notation in plain text.
Avatars for Zoom, Skype and other video-conferencing apps.
📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
Tessellate your favorite 2D manifolds with triangles, hexagons, and other interesting patterns.
Enoki: structured vectorization and differentiation on modern processor architectures
Amazon SageMaker Debugger provides functionality to save tensors during training of machine learning jobs and analyze those tensors
Google Colaboratory Notebooks and Repositories (by @firmai)
Run a personal VPN in the cloud. And rotate it regularly.
Official pytorch implementation of the paper: "SinGAN: Learning a Generative Model from a Single Natural Image"
This is an Android app for viewing Zotero libraries.
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
Bug-free machine learning on stochastic computation graphs
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Making Docker and Kubernetes management easy.
Models and examples built with TensorFlow