Stars
- All languages
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Elixir
- Emacs Lisp
- Erlang
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Makefile
- Mercury
- OCaml
- Objective-C++
- PHP
- Perl
- Python
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- hoon
6
stars
written in Ruby
Clear filter
A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.
A deployment system, with design goals 1: Magic and 2: More Magic
A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
A program that annotates a vm trace with dataflow information