Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Flix
- Go
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- MoonScript
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PureScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- TeX
- TypeScript
- Vim Script
- WebAssembly
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A friendly programming language from the future
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
The Eta Programming Language, a dialect of Haskell on the JVM
The engine for haskell ide-integration. Not an IDE
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Educational computer programming environment using Haskell
Parsing and analysis of Vertica, Hive, and Presto SQL.
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Functional reactive web and mobile applications, with batteries included.
Command line client for Nix binary cache hosting:
Embedded language for high-performance array computations
High performance, concurrent functional programming abstractions