Pinned Repositories
herbie
Optimize floating-point expressions for accuracy
5th
brim
A FPLang filled the the *brim* with features
cheem-scheme
CSF363-baseline
csf372-os-examples
debate-timer
Text-Editor
TOC
Formalization of DFAs, NFAs, and equivalence of DFAs and NFAs
trinity
A game engine bundled with a interpreted language
wags-1314's Repositories
wags-1314/CBSE-Comp-Sci-12
A collection of C++ programs important for the 12th grade CBSE(India) board exams.
wags-1314/coq-hypermaps
wags-1314/WinterProject
wags-1314/cheem-scheme
wags-1314/logic-in-Coq
wags-1314/AkhileshAdithya
wags-1314/basil
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
wags-1314/BITSF386-QIC-Assignments
Assignments written with Qiskit for BITSF386: Quantum Information and Computing
wags-1314/Botania
A magic mod for Minecraft based on nature and plant life.
wags-1314/church-encoding-in-coq
wags-1314/Competitive-Coding
All the files in my journey through Competitive Coding
wags-1314/coq-art-solutions
wags-1314/coq-tactics
wags-1314/CSF215-Project
wags-1314/CSF372-Operating-Systems
Collection of programs for the OS course I am enrolled in
wags-1314/FormalReasoningAboutProgramsSpring2020
wags-1314/frap
Formal Reasoning About Programs
wags-1314/GRE_PREP
This is a guide for how one can prepare for GRE within a month's duration.
wags-1314/H-scheme
Scheme interpreter written in Haskell
wags-1314/IS-F462-Notes
wags-1314/mal
mal - Make a Lisp
wags-1314/minecraft-server-world
wags-1314/MLDL
Machine Learning / Deep Learning stuff
wags-1314/nat-and-int-in-coq
wags-1314/ps-stations-list-scraper
wags-1314/pylisp
A lisp implementation in python.
wags-1314/RustPython
A Python Interpreter written in Rust
wags-1314/semantic-tableau
Semantic Tabluex implementation in python
wags-1314/software-foundations-solutions
Solutions to the Software Foundations textbook series
wags-1314/stack-machine