Stars
- All languages
- Batchfile
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Dart
- Elixir
- Elm
- Emacs Lisp
- Gherkin
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lua
- MDX
- Makefile
- Nunjucks
- OCaml
- Objective-C
- PEG.js
- PHP
- PLpgSQL
- Python
- QML
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Stylus
- Swift
- TSQL
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- WebAssembly
Parsing, analyzing, and comparing source code across many languages
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Agda is a dependently typed programming language / interactive theorem prover.
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A declarative Unix terminal UI library written in Haskell
Haskell 101 and 102: slides and codelabs
Miscellaneous articles. The readme is the table of contents.
Industrial-strength monadic parser combinator library
Interactive development tool that makes it easy to develop and debug Elm programs.
Write type-safe GraphQL services in Haskell
Exemplary real world backend API built with Haskell/Scotty https://realworld.io
Mid-level client library for accessing PostgreSQL from Haskell
Nirum: IDL compiler and RPC/distributed object framework for microservices
Simple example to illustrate how to use persistent and servant in combination.
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell