Bruno-366's repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Arch-Install
Quick installation scripts for Arch & Gentoo Linux
data
The data behind the Datenanfragen.de project. This contains a directory of contact information and privacy-related data on companies under the scope of the EU GDPR, a directory of supervisory authorities for privacy concerns, a collection of templates for GDPR requests and a list of suggested companies to send access requests to.
factor
Factor programming language
hdl-tools
Facilitates building open source tools for working with hardware description languages (HDLs)
quick-wisdom
A pseudo-serious repo of wisdom snippets
melpa
Recipes and build machinery for the biggest Emacs package repo
nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
phreda4.github.io
:r4 web site
skov
A visual programming environment. | A Fork, to be able to see the website
thinking-forth
Thinking Forth captures the philosophy of the Forth language to show users how to write more readable, better maintainable applications.
vim-notebook
A plugin for the Vim editor for handling any interpreter in a Notebook style