Pinned 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
Bruno-366
My (GitHub) profile.
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.
dotfiles
My dotfiles for ArchLinux
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
project-management
Create a Gantt Chart from Github issues
Bruno-366's Repositories
Bruno-366/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Bruno-366/Arch-Install
Quick installation scripts for Arch & Gentoo Linux
Bruno-366/Bruno-366
My (GitHub) profile.
Bruno-366/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.
Bruno-366/dotfiles
My dotfiles for ArchLinux
Bruno-366/factor
Factor programming language
Bruno-366/hdl-tools
Facilitates building open source tools for working with hardware description languages (HDLs)
Bruno-366/quick-wisdom
A pseudo-serious repo of wisdom snippets
Bruno-366/melpa
Recipes and build machinery for the biggest Emacs package repo
Bruno-366/nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Bruno-366/phreda4.github.io
:r4 web site
Bruno-366/skov
A visual programming environment. | A Fork, to be able to see the website
Bruno-366/thinking-forth
Thinking Forth captures the philosophy of the Forth language to show users how to write more readable, better maintainable applications.
Bruno-366/vim-notebook
A plugin for the Vim editor for handling any interpreter in a Notebook style