Stars
- All languages
- Agda
- Assembly
- AutoHotkey
- C
- C#
- C++
- C3
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- Faust
- Fennel
- GDScript
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Nim
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Shell
- Stylus
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- Zig
- sed
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 statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A shell script which checks your $HOME for unwanted files and directories.
Official Haskell IDE support via the language server protocol (LSP)
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 multilingual package manager for Arch Linux and the AUR.
Official upstream development repository for Cabal and cabal-install
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Haskell 101 and 102: slides and codelabs
A proper subset of Haskell that compiles to JavaScript
Haskell library for building declarative animations based on SVG graphics
♊ higher-order, no-boilerplate monads
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Kit: a magical, high performance programming language, designed for game development.
Functional reactive web and mobile applications, with batteries included.
High performance, concurrent functional programming abstractions
Minimal implementations for dependent type checking and elaboration