Tiger Compiler from Modern Compiler Implementation in ML
☆23Mar 17, 2017Updated 9 years ago
Alternatives and similar repositories for modern-compiler-implementation-ml
Users that are interested in modern-compiler-implementation-ml 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 small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Sep 22, 2022Updated 3 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆61Apr 18, 2011Updated 14 years ago
- Convenience functions for working with Result.☆14Feb 28, 2023Updated 3 years ago
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 4 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆46Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Rough REST client/server prototypes for SESE's Order Manager.☆12May 29, 2017Updated 8 years ago
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- A Tiger compiler written in SML.☆13May 7, 2015Updated 10 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Aug 1, 2022Updated 3 years ago
- Toy compiler implementation in OCaml☆20Oct 14, 2015Updated 10 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆23Jan 14, 2024Updated 2 years ago
- Prune is a constraint logic programming language with branching heuristic.☆33Mar 6, 2026Updated 3 weeks ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- 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.
- ☆13May 26, 2022Updated 3 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆59Jul 4, 2021Updated 4 years ago
- A compact hash algorithm for CPUs and GPUs using OpenCL☆15Sep 26, 2020Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Lisp interpreter in assembly☆20Feb 16, 2018Updated 8 years ago
- mirai-rs is a mirai-api-http client implementation written in Rust☆24Feb 17, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A plugin for GHC to support super monads.☆26Oct 31, 2018Updated 7 years ago
- A modern functional programming language with effect system.☆19Apr 21, 2024Updated last year
- ☆15Dec 30, 2021Updated 4 years ago
- GOST: Russian standards related to computers☆20Oct 28, 2019Updated 6 years ago
- Modern Compiler Implementation in ML☆11May 7, 2017Updated 8 years ago
- NES programming in Haskell? No way!☆39Dec 2, 2015Updated 10 years ago
- Combined API to simulate a credit request (in a Brazilian way!)☆15Mar 11, 2026Updated 2 weeks ago
- Example Trussed app, implementing OATH TOTP, running on PC.☆23Nov 24, 2021Updated 4 years ago
- Distributed computing library☆34Aug 7, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- OSGi Testing Utils☆18Jun 7, 2021Updated 4 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- ☆12Oct 25, 2024Updated last year
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Simple FORTH assembler for Intel 8086☆13Jul 28, 2021Updated 4 years ago
- Test ARM/X86 C/SIMD/ASM perf on 32-bit and 64-bit Linux to see machine/compiler differences☆15Jan 6, 2026Updated 2 months ago