Lists (9)
Sort Name ascending (A-Z)
- All languages
- Agda
- Assembly
- C
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Dockerfile
- Emacs Lisp
- F#
- Fennel
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Kotlin
- Lean
- LiveScript
- Lua
- Markdown
- Nushell
- OCaml
- PHP
- Python
- Racket
- Roff
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TSQL
- TeX
- TypeScript
- Typst
- Vim Script
- WebAssembly
- XML
- Zig
Starred repositories
You like pytorch? You like micrograd? You love tinygrad! ❤️
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
get things from one computer to another, safely
An open Apple AirDrop implementation written in Python
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
The largest Awesome Curated list of command line programs (CLI/TUI) with source data organized into CSV files
the open-source virtual assistant for Ubuntu based Linux distributions
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Repository for design and specification of the Component Model
China province/city/country geoJSON data
Easy and elegant parser combinators for Python. With awesome docs.
A Simple Chinese Pinyin Input Method Using HMM and Some Tricks with Python
Generate HTML documentation for mathlib and Lean