lillo / compiler-course-unipi
Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
☆34Updated 2 years ago
Alternatives and similar repositories for compiler-course-unipi:
Users that are interested in compiler-course-unipi are comparing it to the libraries listed below
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- LP and MIP modeling in OCaml☆27Updated 3 weeks ago
- An SMT solver frontend for OCaml☆31Updated last week
- OCaml hacking ideas, small and large.☆19Updated 10 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated last month
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 3 years ago
- An OCaml library providing a C parser and lexer☆41Updated 3 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆23Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆67Updated last week
- Page du cours preuves assistées par ordinateur 2021☆12Updated this week
- A mechanisation of Wasm in Isabelle.☆22Updated last week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆75Updated last year
- A small library to output memory graph for ocaml values☆36Updated 7 months ago
- NES emulator in OCaml☆37Updated last year
- A tool-agnostic formal specification language for OCaml.☆133Updated 2 weeks ago
- EGraphs in OCaml☆65Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 6 months ago
- A benchmark suite for the OCaml compiler☆83Updated 5 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 3 months ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated 2 months ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆36Updated 3 years ago
- Software Transactional Memory for OCaml☆115Updated last month
- Tools for record-and-replay debugging☆43Updated last year
- Streaming client for OCaml's Memprof☆65Updated 5 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year