Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- Assembly
- AutoHotkey
- Brainfuck
- C
- C++
- CSS
- Common Lisp
- Dhall
- Emacs Lisp
- Frege
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- LilyPond
- Lua
- MATLAB
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- Pony
- PostScript
- PowerShell
- Python
- QML
- R
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
Starred repositories
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
A friendly programming language from the future
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A Dependently Typed Functional Programming Language
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
The Eta Programming Language, a dialect of Haskell on the JVM
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
A multilingual package manager for Arch Linux and the AUR.
Official upstream development repository for Cabal and cabal-install
Miscellaneous articles. The readme is the table of contents.