Emacs package for downloading recipes and storing them in org-mode. I like it, and so do some other people. I’m happy about that :).
https://github.com/Chobbes/org-chef
Project for the user friendly solving of complexity classes in Coq.
https://github.com/Chobbes/Coqplexity
A formalization of Enigma machines in Coq. This is designed to take into account pretty much every Enigma machine that ever existed – turns out there are lots of little variations!
https://github.com/Chobbes/coq-enigma
This is a project collecting some of my notes on type theory / Coq.
I have a giant resource from the slack from the DeepSpec Summer School in 2017 that’s going to be up eventually.
I have been working on what’s called an “ambiguity generator”. Essentially it’s a random value generator where you can not determine the underlying distribution from sampling it.
https://github.com/HaskellAmbiguity/AmbiguityGenerator
There is also a website for it. The backend is implemented in Servant.
http://ambiguity.typesofnote.com/
Occasionally I will do a little bit of codewars. It has a bunch of Haskell problems / small projects that you can work on (as well as other languages).
https://www.codewars.com/users/Chobbes
You can use my sign up link if you’re interested:
https://www.codewars.com/r/H_RzAg
Some projects that I have contributed to in no particular order.