Highlights
- Pro
Stars
- All languages
- ATS
- Agda
- Assembly
- Bluespec
- C
- C#
- C++
- CMake
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Futhark
- G-code
- GDScript
- Go
- HLSL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Modelica
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- Pure Data
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Xtend
- ZenScript
- Zig
Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!
Open-source firmware for Ingenic SoC IP cameras
Hackable Laser software for K40 / GRBL / Fibre Lasers
Open-source RTL logic simulator with CUDA acceleration
Rust crate that publishes XLSynth capabilities (wrapping libxlsynth.so/.dylib)
Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
My personal collection of Riemann solvers using MUSCL and WENO schemes written as short Matlab scripts
Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)
Patch Linux executables for compatibility with older glibc
A project to digitalise results from physics into Lean.
A Rust implementation of the Urn data structure for efficient random sampling
OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.
OpenRadioss is a powerful, industry-proven finite element solver for dynamic event analysis
Copper is a user friendly and deterministic runtime for building production-ready robots.
Make a cascading timeline from markdown-like text. Supports simple American/European date styles, ISO8601, images, links, locations, and more.
SeekStorm - sub-millisecond full-text search library & multi-tenancy server in Rust
Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.
A minimal, self-contained example demonstrating best practices for Vulkan development in a single file—no frameworks required.
a tool for reinterpreting ELF executables and shared libraries
Multi-Threaded FP32 Matrix Multiplication on x86 CPUs
first base model for full-duplex conversational audio
Retrieval-based Voice Conversion as an OBS plugin
Empowering everyone to host fast and efficient Minecraft servers.