Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Markdown
- Nix
- OCaml
- Objective-C
- OpenEdge ABL
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SWIG
- Sage
- Sass
- Scala
- Shell
- TeX
- TypeScript
- Vim Script
- Vue
Native WebRTC low-latency P2P video streaming on Raspberry Pi and NVIDIA Jetson with both hardware and software encoding support.
Make Emacs use the $PATH set up by the user's shell
Modular in-buffer completion framework for Emacs
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
An axiom-free formalization of category theory in Coq for personal study and practical work
Haskell library for simple, concise and fast generic operations.
Code AI platform with Code Search & Cody
A Python implementation of the watershed image segmentation algorithm
A work-in-progress, open-source, multi-player city simulation game.
Apache Kafka - A distributed event streaming platform
A Python Library for Self Organizing Map (SOM)
Relax! Flux is the ML library that doesn't make you tensor
A header-only C++ library for numerical optimization --
Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.
A library that provides an embeddable, persistent key-value store for fast storage.
DEPRECATED! Dockerfiles to package Nix in a minimal docker container
Ultimate Plumber is a tool for writing Linux pipes with instant live preview
A semi compile-/run-time associative map container with compile-time lookup and run-time storage
MySQL/MariaDB database management for macOS
Free and Open Source, Distributed, RESTful Search Engine