Stars
- All languages
- C
- C++
- CSS
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- Dhall
- Dockerfile
- Emacs Lisp
- Fennel
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- KakouneScript
- Koka
- Kotlin
- LLVM
- Lua
- Markdown
- Nix
- PHP
- PLpgSQL
- PowerShell
- Python
- QML
- Rascal
- Rust
- Shell
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- WebAssembly
- Zig
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
Cryptographic currency implementing Ouroboros PoS protocol
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A static website compiler library in Haskell
The engine for haskell ide-integration. Not an IDE
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
A declarative Unix terminal UI library written in Haskell
A feature-rich Unix terminal client for the Mattermost chat system
♊ higher-order, no-boilerplate monads
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Industrial-strength monadic parser combinator library
Embedded language for high-performance array computations
High performance, concurrent functional programming abstractions
A wayland compositor based on ideas from and inspired by xmonad
Extremely modular text editor built in Haskell