- Sagittarius A*
Stars
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- OCaml
- Objective-C
- Org
- PHP
- Perl
- PureScript
- Python
- R
- Racket
- ReScript
- Ruby
- Rust
- SCSS
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- hoon
A strongly-typed language that compiles to JavaScript
A Haskell library that simplifies access to remote data, such as databases or web-based services.
A Dependently Typed Functional Programming Language
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.
A static website compiler library in Haskell
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
The Eta Programming Language, a dialect of Haskell on the JVM
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
A native compiler backend for PureScript (via C++ or Golang)
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…