Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Elixir
- Elm
- Futhark
- GDScript
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Perl
- Pony
- PostScript
- PureScript
- Python
- ReScript
- Rocq Prover
- Ruby
- Rust
- SMT
- Shell
- Stylus
- SystemVerilog
- TypeScript
- Vim Script
- Vue
- WebAssembly
A lightweight, OpenCollection compatible REST API client for VS Code.
tools for sandboxing your dependency graph
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.
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/streets and lane-following traffic
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