-
Snowflake
- Berlin
- http://tylerneely.com
- @sadisticsystems
- @ak47.io
Highlights
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Crystal
- Cuda
- Dart
- Elixir
- Erlang
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- OCaml
- Pony
- Prolog
- Python
- R
- Racket
- Reason
- RenderScript
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Sieve
- Standard ML
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
CTAG TBD >>to be determined<< an extendible open source Eurorack sound module
Low Level Emulation of classic VA synths & effects of the late 90s/2000s by emulating the used ICs
C++ API for the disting NT Eurorack module
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
SDK & API Docs Generator. Sunset as of December 2024
Turso is an in-process SQL database, compatible with SQLite.
An operating system designed for hosting containers
Modern tactical exploitation toolkit.
A cloud native embedded storage engine built on object storage.
🦀 Find the minimum supported Rust version (MSRV) for your project
An extensible, state-of-the-art framework for columnar compression, and the fastest FOSS columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux…
A powerful, hackable FPGA-based audio multitool for Eurorack.
Examples to illustrate the use of algebraic effects in Multicore OCaml
Precision Medicine Knowledge Graph (PrimeKG)
ergonomic and precise error handling built atop type-level set arithmetic
Work with prime numbers in const contexts. Prime generation, primality testing, prime counting, factorization, and more.
A library for building fast, reliable and evolvable network services.






