Repository for subset c compiler written in Lex and Yacc as part of Language Processors course at NITW
☆34Sep 8, 2019Updated 6 years ago
Alternatives and similar repositories for subc-compiler
Users that are interested in subc-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- c0 compiler with lex and yacc in C☆14Feb 9, 2022Updated 4 years ago
- A Unicode code page 437 font☆12Jan 19, 2015Updated 11 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- tiny BASIC parser, interpreter & compiler☆17Jan 5, 2013Updated 13 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆34Jul 1, 2023Updated 3 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 3 months ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 3 months ago
- lightweight scripting language loosely based off of Lua☆18Dec 30, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Apr 4, 2024Updated 2 years ago
- Like Russian roulette, but for your kernel.☆14Jul 13, 2025Updated last year
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 11 months ago
- 🎮 Mega Man X3 clone version.☆11Jun 6, 2020Updated 6 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 7 months ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 5 years ago
- Today I Learned...☆17Dec 1, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12May 26, 2026Updated 2 months ago
- Esta biblioteca proporciona funciones para poder trabajar con listas de forma genérica (es decir, tener listas de objetos de cualquier ti…☆13Jul 26, 2020Updated 6 years ago
- p5js template for FXHash☆29Nov 28, 2021Updated 4 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆13Mar 4, 2025Updated last year
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Git Smart HTTP Backend☆14Jul 4, 2017Updated 9 years ago
- An Express middleware module that will redirect user HTTP requests that contain uppercase letters, to the same URL in lowercase form.☆14Feb 14, 2017Updated 9 years ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆15Jun 8, 2026Updated last month
- online protobuf compiler☆26Dec 25, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- My Github pages blog.☆15Mar 31, 2026Updated 3 months ago
- 2d syntax☆21May 26, 2026Updated 2 months ago
- Capture network traffic from Emacs Lisp programs into PCAPNG files☆17Feb 4, 2016Updated 10 years ago
- 80486 emulator with SVGA in BASIC, by jepalza☆13Jun 2, 2021Updated 5 years ago
- A collection of all my single-header libraries.☆17Dec 22, 2023Updated 2 years ago