Stars
- All languages
- Agda
- Assembly
- Awk
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Frege
- GAMS
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Markdown
- MoonScript
- Nim
- Nix
- OCaml
- PHP
- PLSQL
- PLpgSQL
- Perl
- Prolog
- PureScript
- Python
- Racket
- Reason
- Ruby
- Rust
- SCSS
- Shell
- Swift
- TeX
- TypeScript
- Vim Script
- Visual Basic
- Wren
- Zig
The miniature, embeddable R7RS Scheme implementation in Rust
A Rust based DNS client, server, and resolver
pvvx / ATC_MiThermometer
Forked from atc1441/ATC_MiThermometerCustom firmware for the Xiaomi Thermometers and Telink Flasher
Ultimate Plumber is a tool for writing Linux pipes with instant live preview
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Safe bindings to TigerBeetle client.
A bag of various unrelated projects with varying levels of serviceability and destructiveness.
Sheetui is a console based spreadsheet inspired by sc-im and vim
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"
Concurrent Programming with Effect Handlers
CLI for SQLite Databases with auto-completion and syntax highlighting
TypeDB: the power of programming, in your database
Manage your dotfiles across multiple diverse machines, securely.
Extremely simple note-taking app inspired by "One Big Text File"
An extensible, state-of-the-art columnar file format
A utf8 text rope for manipulating and editing large texts.
PostgreSQL pooler with sharding, load balancing and failover support.
Bare metal to production ready in mins; your own fly server on your VPS.
Simple Vector DB is a lightweight, efficient database for high-dimensional vectors. It supports dynamic operations like insertion, update, deletion, and comparison (cosine similarity, Euclidean dis…
Kepler (Kubernetes-based Efficient Power Level Exporter) uses eBPF to probe performance counters and other system stats, use ML models to estimate workload energy consumption based on these stats, …