TricksterGuy / complx
Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
☆66Updated last year
Related projects ⓘ
Alternatives and complementary repositories for complx
- web-based simulator for LC-3☆65Updated 2 years ago
- Unofficial Client for Piazza's Internal API☆185Updated last month
- LC3 Simulator, Assembler, and other tools☆24Updated 11 months ago
- Implementing a web server in a single printf() call☆106Updated 10 years ago
- The Silk Programming Language☆79Updated 3 years ago
- ☆40Updated 9 years ago
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆79Updated 3 years ago
- A repository for the Quest For Tetris☆175Updated 3 years ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆168Updated last week
- Git fork of Logisim code base☆213Updated 7 years ago
- Search for ambiguities in context-free grammars.☆39Updated 3 years ago
- An industrial-grade brainfuck compiler☆508Updated 7 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- ☆223Updated 3 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- C compiler and Lisp interpreter in Brainfuck☆156Updated 7 years ago
- The example code for the Windowing Systems by Example blog series☆90Updated 3 years ago
- A public database of C compiler test cases, minimal test runners, and public test results.☆206Updated 4 years ago
- x86_64 OS Reference in C and Assembly☆27Updated 9 months ago
- Esoteric stack-oriented programming language for code golf☆59Updated 7 months ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- Compile a subset of the Python AST to x64-64 assembler☆139Updated 7 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- "Research" on how to best optimize brainfuck code.☆72Updated 2 years ago
- A function definition package for Coq☆223Updated last week
- Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.☆45Updated 8 years ago
- A proof of false in Coq.☆93Updated 5 years ago
- A work-in-progress language and compiler for verified low-level programming☆296Updated last week
- compiler for x86 in 100 bytes☆68Updated 10 years ago