lillo / compiler-course-unipi
Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for compiler-course-unipi
- A deterministic parser with fused lexing☆71Updated last year
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated last week
- EGraphs in OCaml☆60Updated 10 months ago
- An OCaml library providing a C parser and lexer☆40Updated 2 weeks ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- Fuzzy type search for OCaml documentation☆72Updated 4 months ago
- OCaml hacking ideas, small and large.☆18Updated 7 months ago
- A programming project on automatic differentiation in OCaml☆11Updated last year
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- ☆14Updated last year
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- LP and MIP modeling in OCaml☆26Updated 3 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆104Updated 4 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 10 months ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- Ltac2 tutorial☆42Updated 2 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆18Updated last month
- Formalisation of a capability machine and principles for reasoning about security properties☆17Updated last week
- Streaming client for OCaml's Memprof☆64Updated 2 months ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Lock-free data structures for multicore OCaml☆203Updated this week
- SKI combinators☆50Updated 7 years ago
- Cerberus C semantics☆53Updated this week
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆34Updated last year
- Deadlock freedom by type checking☆19Updated last year
- The Flambda backend project for OCaml☆113Updated this week