compilers-course-materials / cs75-s16-lecturesLinks
☆42Updated 9 years ago
Alternatives and similar repositories for cs75-s16-lectures
Users that are interested in cs75-s16-lectures are comparing it to the libraries listed below
Sorting:
- APL compiler written in Standard ML☆34Updated 4 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 7 years ago
- Continuation Passing C☆114Updated 6 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Data structures and algorithms in OCaml☆51Updated last month
- MLton with Realtime GC and Threading features☆103Updated last year
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆123Updated 12 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆32Updated 3 months ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 7 years ago
- A small implementation of type inference☆80Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 9 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated last month
- The Pascal-F Verifier☆50Updated 8 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆64Updated 8 years ago
- A Lisp-like language implemented in C++☆76Updated 2 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- surgical precision JIT compilers☆122Updated 8 years ago