- All languages
- Agda
- Arduino
- Assembly
- Awk
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Dhall
- Dockerfile
- Eiffel
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Frege
- Go
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- MATLAB
- Markdown
- Mercury
- Nim
- Nix
- OCaml
- PHP
- Perl
- PostScript
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- TLA
- TypeScript
- TypeSpec
- V
- VHDL
- Vala
- Vim Script
- XSLT
- hoon
Starred repositories
A static site generator using org-mode
a web-app to generate mockups of fan-cards for the card game dominion easily
A GitHub action to create a pull request for changes to your repository in the actions workspace
A simple UI for evaluating expressions in the untyped lambda calculus
A ready-to-fork interpreted functional language with type inference
A List of Foundational Haskell Papers
Typecheck, template and modularize your AWS CloudFormation with Dhall
you will be surrounded (surround.vim for evil, the extensible vi layer)
Create full-fledged APIs for slowly moving datasets without writing a single line of code.
Hugo is a programming language created for PLT Games December 2012 Turing Tarpit Competition
A simple interface for generating persistent data and linking its dependencies
Haskell binding for Gremlin graph query language
CLI tool that can execute SQL queries on CSV, LTSV, JSON, YAML and TBLN. Can output to various formats.
A fast CSV command line toolkit written in Rust.
q - Run SQL directly on delimited files and multi-file sqlite databases
An educational tool for providing a gentle introduction to Assembly
Haskell EDSL and type-checker for AWS CloudFormation templates