Modern Compiler Implementation in C
☆39Jan 24, 2016Updated 10 years ago
Alternatives and similar repositories for tiger
Users that are interested in tiger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a compiler implementation☆55Jul 15, 2012Updated 14 years ago
- Tiger Compiler Lab based on C.☆33Feb 28, 2017Updated 9 years ago
- Compiler practice written in C.☆35Feb 13, 2017Updated 9 years ago
- A compiler for the course Compiler 2017 at ACM Class, SJTU.☆81May 26, 2018Updated 8 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementation and Exercises in Modern Compiler Implementation in C.☆55Oct 22, 2022Updated 4 years ago
- High-performance key-value store☆12Dec 31, 2018Updated 7 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Nov 10, 2012Updated 13 years ago
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 10 years ago
- A C compiler written in Kotlin☆19Aug 19, 2026Updated 2 months ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆105May 15, 2015Updated 11 years ago
- a toy go compiler written in go☆20Dec 18, 2010Updated 15 years ago
- Solutions to exercises of Modern Compiler Implementation in C book☆36Dec 7, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- book and codes for Modern Compiler Implementation in C☆411May 2, 2024Updated 2 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Apr 18, 2011Updated 15 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 5 years ago
- ☆18Dec 28, 2018Updated 7 years ago
- Golang client library for the Orb REST API.☆12Updated this week
- Proof-of-Concept CNN in Halide☆22Aug 4, 2016Updated 10 years ago
- A Simple HTTP Proxy☆20Oct 8, 2026Updated 3 weeks ago
- The LaTeX Tutorial of the Fachschaft WIAI☆25Oct 10, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 嵌入式课程实验及作业☆13Jun 30, 2016Updated 10 years ago
- The purpose of this tiny project is to put things together with the know how that i learned from the course big data expert from formacio…☆64Sep 11, 2018Updated 8 years ago
- The repo of "BugLens"☆42Jul 4, 2026Updated 3 months ago
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆10Jul 29, 2019Updated 7 years ago
- ☆16Jun 21, 2024Updated 2 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- 15-745 note☆13Jul 16, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 8 months ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 6 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- ☆11Sep 4, 2026Updated last month
- Comparing concurrent code example programs between other languages and Zig☆63Apr 1, 2025Updated last year
- A simple calculator for commemorating my freshman year at college☆13Oct 10, 2016Updated 10 years ago