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
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Cryptographic currency implementing Ouroboros PoS protocol
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
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.
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
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
The engine for haskell ide-integration. Not an IDE
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!