Computers / Math / Stuff
Project for the user friendly solving of complexity classes in Coq.
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!
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.
There is also a website for it. The backend is implemented in Servant.
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).
You can use my sign up link if you’re interested: