Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Elixir
- Elm
- Futhark
- GDScript
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Perl
- Pony
- PostScript
- PureScript
- Python
- ReScript
- Ruby
- Rust
- SMT
- Shell
- Stylus
- SystemVerilog
- TypeScript
- Vim Script
- Vue
- WebAssembly
Zero allocation LINQ with LINQ to Span, LINQ to SIMD, and LINQ to Tree (FileSystem, JSON, GameObject, etc.) for all .NET platforms and Unity, Godot.
Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit keys & 4-bit values, reducing memory by 59% with <1% quality…
Useful, efficient, precise binary schema modelling in Haskell
A godot plugin for creating 3D highways and streets.
A Full Live-Scripted CAD Kernel in the Browser
An add-in for Autodesk Fusion 360 that provides advanced parameter options to help with prototyping.
A fast usermode x86 and x86-64 emulator for Arm64 Linux
Better project-specific configs for nvim-dap with telescope!
Embeddable Postgres with real-time, reactive bindings.
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
CoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.
A type-safe TypeScript SQL query builder
A website for making QR codes writen in Ruby (running on WebAssembly) and javascript. Built on Prism and RQRCode_Core.
Modular cross-platform firmware for digital or mixed analog/digital game controllers
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
magic-trace collects and displays high-resolution traces of what a process is doing
Open Source codebase of the game Overgrowth by Wolfire Games LLC
Experimental Maps for Web, Mobile and Desktop