

Highlights
- All languages
- ActionScript
- Agda
- Assembly
- Astro
- Awk
- Bikeshed
- Bison
- Blade
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dafny
- Dart
- Dhall
- Dockerfile
- Dylan
- EJS
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Frege
- GAMS
- Go
- Grammatical Framework
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- LilyPond
- Logos
- Lua
- M
- MDX
- Makefile
- Markdown
- Mathematica
- Mercury
- Mojo
- Mustache
- Nemerle
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Prolog
- Protocol Buffer
- Pug
- Pure Data
- PureScript
- Python
- R
- RAML
- Racket
- ReScript
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- UrWeb
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- Xtend
- Yacc
- Zig
- hoon
Starred repositories
Official documentation for getting things done with Nix.
A private messenger for Windows, macOS, and Linux.
Github action to maximize the available disk space on Github runners
Magit plugin for dealing with GitHub pull requests
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
Constraint satisfaction problem (CSP) solvers for Haskell
a variant of Pfenning-Davies with Diamond instead of Box
π For when you really just want to serve some files over HTTP right now!
Load a GHCi session for a Haskell project and reload it when source files change
Empower the Web community and invite more to build across platforms.
Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
π The easiest, free and open-source Tailwind CSS component library with semantic classes.
Visual primitives for the component age. Use the best bits of ES6 and CSS to style your apps without stress π
Type-safe printf from parsing GHC TypeLits Symbol
Type-Level Binary Search Tree in Haskell