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 new 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!
Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
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