Pinned Repositories
annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
ArchonPageBinder
Template page creation bot for duelyst wiki.
brainf
cool
duelyst_linux
This is my installer for duelyst linux, made from a previously existing script(cannot find the source now for the life of me.Help!)
LFP_coq
Translating ILFP+ILCS slides into coq
loxit
Lox interepreter
modelchecker_ctl
mycroft92.github.io
Personal blog
mycroft92's Repositories
mycroft92/duelyst_linux
This is my installer for duelyst linux, made from a previously existing script(cannot find the source now for the life of me.Help!)
mycroft92/annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
mycroft92/ArchonPageBinder
Template page creation bot for duelyst wiki.
mycroft92/brainf
mycroft92/cool
mycroft92/LFP_coq
Translating ILFP+ILCS slides into coq
mycroft92/loxit
Lox interepreter
mycroft92/modelchecker_ctl
mycroft92/mycroft92.github.io
Personal blog
mycroft92/coq_rampup
A collection of code snippets to understand coq's workings. Most of them are solved exercises from software foundations course
mycroft92/iitd-page
mycroft92/imageBot
ImageBot for duelys wiki
mycroft92/Lustre_rust
This is a rust version of Velus-Lustre compiler. Work in progress.
mycroft92/MANTI
A pure subset of Prolog, implemented in Haskell
mycroft92/PetrinizerPresentation
mycroft92/Pyvams
Python Verilog-AMS Parser
mycroft92/robdd-1
Reduced Ordered Binary Decision Diagram
mycroft92/rust_boy
Yet another gameboy emulator in rust to learn rust.
mycroft92/spin_asignment