Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for algorithms ocaml
algorithms
x
ocaml
x
13 search results found
Type Systems
⭐
1,300
Implementations of various type systems in OCaml.
Type Inference
⭐
295
The Hindley Milner Type Inference Algorithm
Patdiff
⭐
215
File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
Ocaml Raft
⭐
99
Implementation of Raft consensus algorithm
Digestif
⭐
81
Simple hash algorithms in OCaml
Grenier
⭐
62
Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
Unicoq
⭐
46
An enhanced unification algorithm for Coq
Reasonml Astar Maze
⭐
40
A-star search algorithm written in ReasonML
Brozip
⭐
39
⚡ CLI to concurrently compress, decompress using Brotli algorithm
Cs Resources
⭐
36
Curated Computer Science and Programming Resource Guide
Algorithms
⭐
36
Algorithms and Data Structures in ReasonML
Tree_layout
⭐
34
Algorithms to layout trees in a pretty manner.
Ofuzz
⭐
28
Fuzzing framework written in OCaml
Oraft
⭐
28
Raft consensus algorithm implementation
Ocaml Lz4
⭐
27
OCaml bindings for LZ4, a very fast lossless compression algorithm
Tdigest
⭐
26
OCaml implementation of the T-Digest algorithm
Oraft
⭐
24
Library of Raft consensus algorithm implemented in OCaml
Algorithms_in_ocaml
⭐
24
Ocamlagrep
⭐
23
String searching with errors, using the Wu-Manber algorithm
Bentov
⭐
15
OCaml implementation of histogram-approximation algorithm
Huffman
⭐
14
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Tjr_simple_earley
⭐
13
Simple implementation of a parsing algorithm inspired by Earley
Genepool
⭐
11
Framework for writing evolutionary optimization algorithms in OCaml
Simple Diff
⭐
11
A simple diff algorithm in pure OCaml
Parallpairs
⭐
9
Parallel all-pairs similarity search algorithms in ocaml #ocaml
Funarith
⭐
8
[wip] functorial library with classic algorithms for arithmetic
Reasonfuzz
⭐
8
Fuzzy matching for Reason.
Ocaml Rfc6287
⭐
8
an OCaml implementation of RFC6287 OCRA (OATH Challenge-Response Algorithm)
Rsync Demo
⭐
7
OCaml implementation of an rsync-style algorithm, intended to demonstrate several OCaml language features
Algorithm J
⭐
7
A minimal implementation of Hindley-Milner's Algorithm J in OCaml
Dsubml
⭐
7
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
Elo Ladder
⭐
6
Elo-rating based ladder competition manager
Code Problems
⭐
6
🐫 Working through code problems in OCaml
Digital Red
⭐
6
Digital-Red is a collection of succinct, elegant OCaml implementations of the algorithms in the famous MIT red book of algorithms.
Gsrinfer
⭐
6
A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
Lasvegas Geom
⭐
6
Ocaml implementation of some randomized computational geometry algorithms
Cca
⭐
6
Code Continuity Analysis Framework
Oc4.5
⭐
5
A pure OCaml implementation of the C4.5 decision tree generator algorithm
Apte
⭐
5
Algorithm for Proving Trace Equivalence
Reason Examples
⭐
5
🍎 Sample data structures + sorting algorithms built using ReasonML (v3)
Related Searches
Python Algorithms (9,749)
C Plus Plus Algorithms (6,250)
Algorithms Data Structure (4,627)
Java Algorithms (4,524)
Javascript Algorithms (3,576)
C Algorithms (2,341)
Jupyter Notebook Algorithms (2,326)
Algorithms Graph (1,764)
Algorithms Sort (1,670)
Matlab Algorithms (1,381)
1-13 of 13 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.