RobYang1024 / OCaMOSSLinks
Final project code for 3110, MOSS implementation using OCaml
☆26Updated 3 years ago
Alternatives and similar repositories for OCaMOSS
Users that are interested in OCaMOSS are comparing it to the libraries listed below
Sorting:
- Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI☆36Updated 2 years ago
- Type Error Feedback via Analytic Program Repair☆16Updated 2 years ago
- OCaml hacking ideas, small and large.☆19Updated last year
- An OCaml library providing a C parser and lexer☆42Updated last year
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆42Updated 7 months ago
- ☆14Updated 2 years ago
- A PPX deriver that automates differential testing for OCaml modules☆25Updated 11 months ago
- Print with style in your terminal using Format's semantic tags☆19Updated 2 years ago
- An SMT solver frontend for OCaml☆54Updated this week
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Updated last year
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Updated 3 years ago
- The main codex repository☆24Updated last year
- OCaml notebooks as a WebComponent☆43Updated last month
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Updated 2 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- OxCaml Parallelism☆34Updated this week
- A small library to output memory graph for ocaml values☆39Updated last year
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- A simple library implementation of binary sessions☆11Updated last year
- OCaml hash-consing library☆51Updated last year
- Client for the MOSS plagiarism detection service☆19Updated 6 years ago
- A symbolic analyser for shell scripts.☆22Updated 4 years ago
- ☆16Updated last week
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- OCaml Ctypes stubs generation notes☆20Updated 6 years ago
- ☆16Updated 6 years ago
- A CHIP8 emulator written in OCaml☆25Updated 3 years ago
- A random generator of Lua programs☆12Updated 4 years ago