Stars
- All languages
- ANTLR
- ActionScript
- Ada
- Arduino
- Assembly
- Awk
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- Dart
- Dockerfile
- Emacs Lisp
- GDScript
- GLSL
- Go
- Groff
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- MiniZinc
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PEG.js
- PHP
- Pascal
- Perl
- Processing
- Prolog
- PureScript
- Python
- QML
- RenderScript
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Sage
- Scala
- Scheme
- Shell
- Smali
- Svelte
- Swift
- TeX
- Terra
- TypeScript
- V
- Valve Data Format
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- hoon
- sed
AirPods liberated from Apple's ecosystem.
The latest incremental release of SysML v2. Start here.
A contact solver for physics-based simulations involving 👚 shells, 🪵 solids and 🪢 rods.
Weighs the soul of incoming HTTP requests to stop AI crawlers
Early-stage b-rep CAD kernel, written in the Rust programming language.
tfw when you when your lid when uhh angle your lid sensor
Mixbox is a library for natural color mixing based on real pigments.
Commit Mono is an anonymous and neutral programming typeface.
The glamourous AI coding agent for your favourite terminal 💘
Text-audio foundation model from Boson AI
A c# program to convert Crytek files to Collada (XML) format
A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
Hurl, run and test HTTP requests with plain text.
Units of measurement -- type-safe zero-cost dimensional analysis
in memory Rust database to query your data like a Venn diagram
Video-based AI memory library. Store millions of text chunks in MP4 files with lightning-fast semantic search. No database needed.
🪐 Markdown with superpowers — from ideas to papers, presentations and books.
A static verifier for Rust, based on the Viper verification infrastructure.