ipc_solver

O(N log N)-space IPC solver in OCaml

Stars
52
View Code on GitHub View on X
Ecosystems: OCaml

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

24 Oct 2019 25
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
myntax

05 Sep 2016 51
dde

Pure Demand Operational Semantics

22 Nov 2022 5
wrange

An assignment.

12 Jun 2019 1
eio

Effects-based direct-style IO for multicore OCaml

02 Mar 2021 554
easier-proofs

A project which aim to help engineers to make proves easily

08 Nov 2021 14
ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

14 Jul 2017 288
rescript-logger

Logging implementation for ReScript

23 Dec 2018 107
prolog

An implementation of Prolog written in OCaml

29 Nov 2017 2
proof-checker

Proof checker for natural deduction in propositional logic

22 Jan 2018 9
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932