Disgruntled Code

Computers / Math / Stuff

CoqPlexity

Project for the user friendly solving of complexity classes in Coq.

https://github.com/Chobbes/Coqplexity

Coq-Enigma

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

Types of Note

This is a project collecting some of my notes on type theory / Coq.

https://www.typesofnote.com/

I have a giant resource from the slack from the DeepSpec Summer School in 2017 that’s going to be up eventually.

Haskell Ambiguity Generator

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/

Github

https://github.com/Chobbes

Codewars

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