Stars
- All languages
- Agda
- AutoHotkey
- Awk
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Fennel
- Frege
- GAP
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Liquid
- LiveScript
- Lua
- MATLAB
- MAXScript
- Macaulay2
- Markdown
- MoonScript
- Nix
- OCaml
- Org
- PHP
- Perl
- Prolog
- Python
- Racket
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- XSLT
- eC
A Dependently Typed Functional Programming Language
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A static website compiler library in Haskell
The engine for haskell ide-integration. Not an IDE
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
A wayland compositor based on ideas from and inspired by xmonad
Emanate a structured view of your plain-text notes
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
Generically derive traversals, lenses, and prisms.
Pandoc based document editor and converter in your browser.
create static websites from YAML data and string templates
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
A Haskell library for converting LaTeX math to MathML.
Embedded domain-specific language for declarative vector graphics (wrapper package)
An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
Turnstyle is a graphical esoteric programming language based on lambda calculus
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll