Lists (1)
Stars
Modernity meets insane extensibility. The future of organizing your life in Neovim.
An interpreter of Hagino's Categorical Programming Language (CPL).
A small Neovim plugin for previewing definitions using floating windows.
A collection of resources for learning type theory and type theory adjacent fields.
An experimental virtual machine monitor for the seL4 microkernel
A core language and API for dependently typed languages
Functional, effectful streams with resource management
A minimal 🤏 HTTP-client 🐼 interface 🖥️ for Neovim ❤️.
Haskell implementation of open games
High-performance automatic differentiation of LLVM and MLIR.
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
⚡️ A tmux plugin giving you a hackable status bar consisting of dynamic & beautiful looking powerline segments, written purely in bash.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
The lazier way to manage everything docker
The database client every command line junkie deserves.
Utilities for using Idris2 on GNU/Linux systems