xavierleroy / camljavaLinks
Low-level OCaml/Java interface
☆14Updated last year
Alternatives and similar repositories for camljava
Users that are interested in camljava are comparing it to the libraries listed below
Sorting:
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago
- Library for color and formatting in the terminal☆21Updated 3 years ago
- A type-safe, stack-based functional programming language☆16Updated 9 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A program launcher for Wayland☆16Updated last year
- OCaml implementation of a NES Legend of Zelda-style browser-based game☆26Updated 4 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated 2 months ago
- A Btree library in OCaml☆18Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 7 months ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated 2 weeks ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Read and write FAT format filesystems from OCaml☆25Updated 6 months ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 11 months ago
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Printf-style format-strings for user-defined string conversion☆23Updated last week
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 5 years ago
- An OCaml extension for RISC-V☆16Updated 5 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆45Updated 5 years ago
- Algebraic structures in OCaml.☆25Updated last week
- A platform-agnostic multi-level index☆33Updated 2 months ago
- ☆14Updated 10 months ago