Stars
- All languages
- APL
- Assembly
- Bikeshed
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CoffeeScript
- Coq
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- GCC Machine Description
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Kotlin
- Lua
- MDX
- Makefile
- Mustache
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- Vim Script
- XSLT
- YAML
Official Haskell IDE support via the language server protocol (LSP)
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell library for building declarative animations based on SVG graphics
A wayland compositor based on ideas from and inspired by xmonad
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
A fast, flexible, fused effect system for Haskell
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…
A type-safe, non-TH Haskell SQL library and ORM
The fastest PostgreSQL libpq-based driver for Haskell
Updating nixpkgs packages since 2018
A fast Haskell library for parsing ByteStrings
Generically derive traversals, lenses, and prisms.
New home of Esqueleto, please file issues so we can get things caught up!
Classic Algorithm W for type inference.
Extensional capabilities and deriving combinators
The cuteness implementation of a dependently typed language.
Manage your NixOS packages and configuration via a simple, intuitive UI