There are no reviews yet. Be the first to send feedback to the community and the maintainers!
spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.FreeSpec
A framework for implementing and certifying impure computations in Coqcolorless-themes.el
Mirror of https://git.sr.ht/~lthms/colorless-themes.elchain
Extensible, Type Safe Error Handling in Haskellcoq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coqogam
A markup language for story writersmanuscript
My PhD thesisextensible-records-minimal
Minimal example of using dmap to implement extensible records in OCamllkn-series
Tutorials about lknauth-token
Token-based Authenticationbepo-tsrn.nvim
Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.keyr
A collection of tools to keep track of your keystrokescleopatra
cleopatra is a generic, extensible toolchain for literate programming projectsLove Open Source and this site? Check out how you can help us