Explore projects

A package for Emacs that provides IDE features

An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.

Privacy-conscious, ethical and safer alternatives to software for developers — https://developers.reverseeagle.org

Privacy-conscious, ethical and safer alternatives to software for developers — https://developers.reverseeagle.org

original project at: https://github.com/CodedotAl/gpt-code-clippy and the main organization is at: https://github.com/CodedotAl

Simple Docker image for buliding hugo website, batteries included