Chris00 / ocaml-mossLinks
Client for the MOSS plagiarism detection service
☆19Updated 5 years ago
Alternatives and similar repositories for ocaml-moss
Users that are interested in ocaml-moss are comparing it to the libraries listed below
Sorting:
- Triangular mesh generation and manipulation☆12Updated 3 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Ocaml modular spam filter☆16Updated 9 months ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- ☆16Updated 6 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 5 months ago
- Multinomials for the Mathematical Components library.☆14Updated last week
- File mapping☆13Updated last year
- A new language for optimization☆13Updated 4 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆10Updated last year
- String searching with errors, using the Wu-Manber algorithm☆23Updated 5 months ago
- OCaml interface to cgroups☆20Updated 2 years ago
- Simple password db☆23Updated 6 years ago
- An Ocaml AWS Client SDK based on Jane Streets Core & Async libraries☆10Updated 10 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- A Framework for building Batched Concurrent Services☆21Updated last month
- macOS bindings to the FSEvents API☆18Updated 11 months ago
- Simple tool to aggregates contribution statistics for GitHub organisations☆10Updated 7 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- ☆14Updated last week