ralphrecto / xicLinks
A compiler for the Xi programming language
☆10Updated 9 years ago
Alternatives and similar repositories for xic
Users that are interested in xic are comparing it to the libraries listed below
Sorting:
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Compile OCaml to standalone ANSI C file☆44Updated last month
- Playing with type systems☆51Updated 6 months ago
- 🦠 Reusable components based on algebraic effects☆51Updated 9 months ago
- multi-shot continuations in OCaml☆48Updated 5 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- A Btree library in OCaml☆18Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆110Updated last year
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- Visualization tool for your IO-uring workload☆17Updated 10 months ago
- Efficient binder representation in OCaml☆43Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated last month
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- A small library to output memory graph for ocaml values☆39Updated last year
- Interactive memory profiler based on Memtrace☆31Updated last month
- Functional Monadic Library for Ocaml☆55Updated this week
- A pretty-printing combinator library for OCaml☆51Updated 11 months ago
- Purely functional GUI algebra☆78Updated 3 months ago
- Read and write FAT format filesystems from OCaml☆25Updated last month
- LablGL: an openGL interface for OCaml☆23Updated last year
- Binding to Cairo, a 2D Vector Graphics Library.☆56Updated 8 months ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 4 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago