mbuliga

icon indicating a website link https://mbuliga.github.io/

icon location mathematician, from the very applied to the very abstract, can do anything (which is interesting, time provided).

Results 1 issues of mbuliga

Similar projects

9 comment

Hi, I read your [0] and I want to point you some similar projects: Formality, chemlambda and kali. [0] https://www.reddit.com/r/haskell/comments/dih8xu/optimal_reduction_without_oracle_prototype/ [1] https://github.com/moonad/Formality (labels fans) [2] https://github.com/chorasimilarity/chemlambda-gui/blob/gh-pages/dynamic/README.md (does not label fans)...

Discussion