Stars
A new markup-based typesetting system that is powerful and easy to learn.
Statically typed, imperative programming language that compiles to WebAssembly
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
🚀✨ Minimalistic, powerful and extremely customizable Zsh prompt
A curated list of awesome System Design (A.K.A. Distributed Systems) resources.
The simplest machine learning library for launching UIs, running evaluations, and comparing model performance.
Sync engine built with an actor framework, backed with CRDTs for conflict resolution
A cross-platform, OpenGL terminal emulator.
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Solve Rubik's Cube in less than 19 moves on average with Python.
A basic static analyzer and linter for PyTorch device and size checking.
The Missing Semester of Your CS Education 📚
the code for the ICML paper (Learning Neurosymbolic Generative Models via Program Synthesis)
Tensors and Dynamic neural networks in Python with strong GPU acceleration
A new approach to solving the reading comprehension problem using deep learning techniques.
Translates speech into visible sign language. Uses the Microsoft Bing Speech API.