TheAlgorithms / OCaml
Algorithms Implemented in OCaml
☆96Updated last year
Related projects ⓘ
Alternatives and complementary repositories for OCaml
- ☆386Updated 9 months ago
- All Algorithms implemented in AArch64 Assembly☆146Updated 9 months ago
- Scripts used across all The Algorithms repositories☆77Updated last year
- A Web Application for Learning OCaml☆303Updated 2 weeks ago
- Awesome Programming Languages☆292Updated 4 months ago
- An menu/quick reference for Programming Language concepts☆20Updated 7 months ago
- Solutions to OCaml Programming☆69Updated 3 months ago
- Documentation of everything relevant in the OCaml world☆177Updated this week
- OCaml code generator and runtime library for handling typed tree-sitter CSTs☆22Updated 2 weeks ago
- Implementation of All ▲lgorithms in Haskell Programming Language☆47Updated 2 years ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆34Updated last week
- ☆11Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆202Updated 8 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆231Updated last month
- Examples and Exercises for the book "More OCaml"☆60Updated 2 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆283Updated 8 months ago
- A package containing many useful algorithms (borrowed from many other programming languages).☆12Updated 7 months ago
- lambda calculus interpreter☆39Updated 3 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆318Updated 3 months ago
- The Windows-friendly distribution of OCaml☆63Updated 2 months ago
- Opam repository for the development version of Jane Street packages☆111Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- Exercism exercises in Standard ML.☆27Updated 3 weeks ago
- Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…☆127Updated last week
- Learn Ocaml by reading code examples☆70Updated last year
- A free (as in freedom) OCaml textbook☆132Updated 6 months ago
- Exercism exercises in OCaml.☆94Updated 3 weeks ago
- Jane Street Capital's asynchronous execution library☆207Updated 2 weeks ago
- A curated list of awesome Assembler☆65Updated 9 years ago