Madhukar Yerraguntla's repositories
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!)
annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
Language:TeXMIT000
ArchonPageBinder
Template page creation bot for duelyst wiki.
Language:HaskellNOASSERTION000
Language:Python000
LFP_coq
Translating ILFP+ILCS slides into coq
Language:Coq000
loxit
Lox interepreter
Language:HaskellNOASSERTION000
Language:Python000
mycroft92.github.io
Personal blog
Language:CSS000
coq_rampup
A collection of code snippets to understand coq's workings. Most of them are solved exercises from software foundations course
Language:Coq000
Lustre_rust
This is a rust version of Velus-Lustre compiler. Work in progress.
Language:Rust000
MANTI
A pure subset of Prolog, implemented in Haskell
BSD-3-Clause000
Language:TeX000
Pyvams
Python Verilog-AMS Parser
Language:PythonApache-2.0000
robdd-1
Reduced Ordered Binary Decision Diagram
Language:Python000
rust_boy
Yet another gameboy emulator in rust to learn rust.
Language:Rust000
Language:Makefile000