Pinned Repositories
champernowne
combinator-birds
cubical-domset
fooling-a-neural-network
haskell-mode
Emacs mode for Haskell
jvoxaskei
Haskell implementation of the Lojban lujvo-making algorithm
kernel-driver-feature-extractor
kernel-driver-shell-script
lisp-csv
A very specific program for converting between formats used in grading.
truncated-group-rings
mathlover2's Repositories
mathlover2/truncated-group-rings
mathlover2/champernowne
mathlover2/combinator-birds
mathlover2/cubical-domset
mathlover2/fooling-a-neural-network
mathlover2/haskell-mode
Emacs mode for Haskell
mathlover2/jvoxaskei
Haskell implementation of the Lojban lujvo-making algorithm
mathlover2/kernel-driver-feature-extractor
mathlover2/kernel-driver-shell-script
mathlover2/lisp-csv
A very specific program for converting between formats used in grading.
mathlover2/number-theory
A collection of number-theoretic and combinatorial tools. Experimental and incomplete. Includes a rudimentary symbolic manipulator.
mathlover2/nvidia-submissions
mathlover2/the-twitter-algorithm
Source code for Twitter's Recommendation Algorithm. Forked while they still can't figure out Git.
mathlover2/ToxicBot
A discord bot capable of detecting toxic messages sent to a server, delete them and warn the author.