Stars
- All languages
- APL
- ATS
- ActionScript
- Agda
- C
- C#
- C++
- COBOL
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Frege
- Go
- HTML
- Haml
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Max
- Nearley
- Nemerle
- Nix
- Nu
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
Emacs' ivy interface to communicate with Music Player Daemon (MPD)
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
Attempt at creating a tensor type in Idris with dimension-safe operations.
Generalization of the reflex collection functions
A compiler for functional programs on serialized data
General-purpose abstractions for incremental computing, in Rust
Material for Static Differentiation in Cache Transfer Style
A UI library based on the incremental lambda calculus
A framework for building fine-grained reactive datatypes
A tiny hardware-accelerated pixel frame buffer. 🦀
A native gRPC client & server implementation with async/await support.
A cross-platform GUI library for Rust, inspired by Elm
Lean 3's obsolete mathematical components library: please use mathlib4
Minimal implementations for dependent type checking and elaboration
A language for intent-centric and declarative decentralised applications
Declarative GTK+ programming in Haskell
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
A collection of out-of-tree LLVM passes for teaching and learning