lillo / compiler-course-unipiLinks
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
Sorting:
- EGraphs in OCaml☆65Updated last year
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated 11 months ago
- A deterministic parser with fused lexing☆73Updated last year
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 3 years ago
- LP and MIP modeling in OCaml☆28Updated 2 months ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 2 months ago
- A custom parser/auto-formatter for Standard ML☆77Updated 3 weeks ago
- An SMT solver frontend for OCaml☆39Updated this week
- Type-safe statically unknown pattern generation in MetaOCaml☆11Updated last year
- A mechanisation of Wasm in Isabelle.☆27Updated this week
- An OCaml library providing a C parser and lexer☆42Updated 7 months ago
- A stepping debugger for Standard ML (SML)☆27Updated last year
- OCaml hacking ideas, small and large.☆18Updated last year
- a proof-of-concept programming language based on call-by-push-value☆53Updated this week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated this week
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆24Updated 2 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 3 weeks ago
- PL conference deadline countdowns☆60Updated 2 months ago
- ☆33Updated 7 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆144Updated 7 months ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Educational Proof Assistant for Type Theory☆74Updated 10 months ago
- Reference compiler for c0☆36Updated last week
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]☆20Updated 2 weeks ago