Stars
- All languages
- Agda
- Assembly
- Batchfile
- Bicep
- Bikeshed
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- D
- Dhall
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- G-code
- Go
- HCL
- HTML
- Hack
- Haskell
- Haxe
- HolyC
- Idris
- Inno Setup
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Koka
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- Open Policy Agent
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- RPM Spec
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- SuperCollider
- Swift
- TeX
- TypeScript
- TypeSpec
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
Generically derive traversals, lenses, and prisms.
Haskell Elasticsearch client and query DSL
📺 A free and simple to use video player made with Haskell.
Type safe interface for working in subcategories of Hask
Painless 2D vector graphics, animations and simulations.
A Haskell library for creating WebSocket-capable servers
With way too messy gist.github pages this is an attempt to organise my snippets
Write type-safe GraphQL services in Haskell
A bare-bones calculus-of-constructions
Squeal, a deep embedding of SQL in Haskell
Parsing all context-free grammars using Earley's algorithm in Haskell.
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…
Generalized bananas, lenses and barbed wire
Standard library for linear types in Haskell.
Mu (μ) is a purely functional framework for building micro services.
Run IO operations asynchronously and wait for their results
Generate Haskell bindings for GObject-Introspection capable libraries