Stars
- All languages
- ANTLR
- Agda
- AsciiDoc
- Assembly
- C
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Cython
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Frege
- Go
- Groff
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LilyPond
- Lua
- MDX
- Makefile
- Markdown
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Parrot
- Perl
- Prolog
- Pug
- Puppet
- Python
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- SourcePawn
- Standard ML
- Swift
- TeX
- Twig
- TypeScript
- Vim Script
- Visual Basic .NET
- Wren
- XSLT
- Yacc
ShellCheck, a static analysis tool for shell scripts
Compiler for Elm, a functional language for reliable webapps.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A proper subset of Haskell that compiles to JavaScript
Miscellaneous articles. The readme is the table of contents.
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
Course materials for Stanford CS240h, "Functional Systems in Haskell"
A demo implementation of a simple dependently-typed language
Introduction to parsing with Haskell and Parsec
A full implementation of the Scheme programming language for the Haskell Platform.
Introductory Haskell course materials (originally CIS 194 @ UPenn)
Classic Algorithm W for type inference.
A tutorial on Parallel and Concurrent Haskell
Repository for collaborative Haskell documentation