Highlights
- All languages
- APL
- Agda
- AppleScript
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Cuda
- DTrace
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Lua
- Markdown
- Nix
- OCaml
- Objective-C
- Perl
- PostScript
- Prolog
- PureScript
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- UrWeb
- Verilog
- Vim Script
- WebAssembly
Starred repositories
Simple HTTP proxy that prints out the request/response that go through it for debugging
A high-level build system based on llbuild, used by Xcode, Swift Playground, and the Swift Package Manager
🌊 Digital timing diagram rendering engine
Digital timing diagram editor
a self hosted git server that you can push, clone or pull over ssh
Swift API for the tree-sitter incremental parsing system
An overview of the different types of charts you can make with Swift Charts
Incremental computation through constrained memoization.
A markup-based typesetting system that is powerful and easy to learn.
Nix configuration for reproducible builds of LaTeX documents
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
Create complex parsers by combining simple ones with Parsel!
The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
Syntax highlighting for various PCB (Printed Circuit Board) formats.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
OBS Studio - Free and open source software for live streaming and screen recording