Lists (31)
Sort Name ascending (A-Z)
ai
assets
async
browser
cpp libs
dev
distributed
docs
editors
embed
experimental
formats & encoding
gamedev
langs
math
memes
messengers
os
parallelism
privacy
procedural
rust libs
security
term
test
todo maybe
ui
utils
vm
web app
web bottom
Stars
- All languages
- ANTLR
- ActionScript
- Ada 10000
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- F*
- Fluent
- Futhark
- GDScript
- GLSL
- Go
- HLSL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Jai
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Luau
- MATLAB
- MLIR
- Makefile
- Markdown
- MoonBit
- Nim
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- Pascal
- Perl
- PowerShell
- Processing
- Python
- QML
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- ShaderLab
- Shell
- SmPL
- Svelte
- Swift
- SystemVerilog
- Tcl
- 10000 TeX
- TypeScript
- V
- Vala
- Vim Script
- Vue
- WebAssembly
- Wren
- Zig
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
A secure, standard-conformant, easy to use JWT implementation for Rust.
SIMD-optimized B+ Tree implementation that uses integer keys
RobustMQ is a next-generation, high-performance, cloud-native, converged message queue that is compatible with multiple mainstream message queuing protocols and has complete Serveless capabilities.
A simple AVDB constraint-based dynamics solver implementation using LegitVulkan
A Linux version of the Procmon Sysinternals tool
MOVED TO CODEBERG - Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
Generate LoFi music on the go, offline and locally.
Linux running inside a PDF file via a RISC-V emulator
Low(est?)-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the h…
Secure by Design, Extendable and Speedy Next Gen CMS
An experimental modern general-purpose microkernel OS.
Systems language with linear types and capability-based security.
Lightweight multi-platform code editor designed for modern hardware with a focus on responsiveness and performance.
Command-line sampling profiler for macOS, Linux, and Windows
CROWD - Delta based CRDT with additional abilities.