Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by c-cube
A curated list of projects in awesome lists by c-cube .
https://github.com/c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
data-structure lightweight modular ocaml permissive-license portable stdlib
Last synced: 12 Oct 2024
https://github.com/c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
alcotest monadic-interface ocaml ounit property-based-testing quickcheck random random-generator testing
Last synced: 12 Oct 2024
https://github.com/c-cube/datalog
An in-memory datalog implementation for OCaml.
datalog logic-programming memoization ocaml prolog
Last synced: 12 Oct 2024
https://github.com/c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
higher-order-functions iter iterators lazy monad ocaml sequence stream
Last synced: 27 Oct 2024
https://github.com/c-cube/printbox
print nested boxes, lists, arrays, tables in several formats
ocaml pretty-printing tables text-rendering tree
Last synced: 26 Oct 2024
https://github.com/c-cube/tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
http httpd ocaml simplehttpserver threads tiny
Last synced: 12 Oct 2024
https://github.com/c-cube/stimsym
[toy] A rewriting language similar to the core of Mathematica
jupyter mathematica pattern-matching rewriting
Last synced: 28 Oct 2024
https://github.com/c-cube/moonpool
Commodity thread pools and concurrency primitives for OCaml 5
domains futures multicore ocaml ocaml5 thread-pool work-stealing
Last synced: 26 Oct 2024
https://github.com/c-cube/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
formal-methods mcsat ocaml prover smt
Last synced: 28 Oct 2024
https://github.com/c-cube/oseq
Purely functional iterators compatible with standard `seq`.
cascade combinatorics functional-iterator iterator lazy-iterator list ocaml
Last synced: 28 Oct 2024
https://github.com/c-cube/lwt-pipe
[beta] A multi-consumer, multi-producers blocking queue and stream for Lwt
Last synced: 28 Oct 2024
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 27 Oct 2024
https://github.com/c-cube/ezcurl
A simple wrapper around OCurl.
curl easy http http-get-it-while-it-s-hot lwt ocaml ocurl
Last synced: 28 Oct 2024
https://github.com/c-cube/spelll
fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.
levenshtein-automaton ocaml spell-check
Last synced: 28 Oct 2024
https://github.com/c-cube/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
Last synced: 27 Oct 2024
https://github.com/c-cube/bare-ocaml
runtime library and code-generator for BARE (https://baremessages.org/)
Last synced: 27 Oct 2024
https://github.com/c-cube/choice
Choice operator in OCaml, providing a backtracking monad
backtracking continuations monad ocaml pure
Last synced: 12 Oct 2024
https://github.com/c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
cdcl-t congruence-closure formal-methods functor prover sat-solver smt-solver
Last synced: 12 Oct 2024
https://github.com/c-cube/smbc
Experimental model finder/SMT solver for functional programming.
computational formal-methods logic model ocaml sat solver
Last synced: 12 Oct 2024
https://github.com/c-cube/ocaml-avro
Runtime library and schema compiler for the Avro serialization format
apache avro ocaml serialization
Last synced: 12 Oct 2024
https://github.com/c-cube/maki
[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
caching memoization merkle-dag ocaml persistent
Last synced: 12 Oct 2024
https://github.com/c-cube/thread-local-storage
thread-local storage for OCaml
Last synced: 28 Oct 2024
https://github.com/c-cube/ocaml-gnuplot
bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
Last synced: 28 Oct 2024
https://github.com/c-cube/seq
compatibility package for the standard OCaml iterator type
compatibility iterator ocaml seq sequence stdlib
Last synced: 18 Oct 2024
https://github.com/c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
hol kernel-of-trust lcf ocaml proof-checker
Last synced: 12 Oct 2024
https://github.com/c-cube/hashset_benchs
Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust_vs_f_hashset_benchmark/
Last synced: 12 Oct 2024
https://github.com/c-cube/ocaml-atomic
Compatibility package for the Atomic module
Last synced: 12 Oct 2024
https://github.com/c-cube/indexed-set
OCaml implementation of indexed sets (inspired from Haskell's ixSet library)
Last synced: 12 Oct 2024
https://github.com/c-cube/iksml
[toy] industrial-strength implementation of the SKI calculus, using XML
Last synced: 12 Oct 2024
https://github.com/c-cube/zulip-log-viewer
Small website to serve zulip logs obtained from [zulip archive](https://github.com/zulip/zulip-archive)
Last synced: 12 Oct 2024
https://github.com/c-cube/poc-modular-io
proof of concept for https://github.com/ocaml/RFCs/pull/19
Last synced: 12 Oct 2024
https://github.com/c-cube/ocaml-chord
[unfinished] Chord DHT implementation in OCaml (not production-ready)
Last synced: 12 Oct 2024
https://github.com/c-cube/containers-misc
[toy] Random stuff from containers, low quality, experimental
Last synced: 12 Oct 2024
https://github.com/c-cube/vim-tptp
Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)
Last synced: 12 Oct 2024
https://github.com/c-cube/neperien
[unfinished] structured, hierarchical log system for OCaml
bare hierarchical log ocaml structured-logging
Last synced: 12 Oct 2024
https://github.com/c-cube/iterators_bench
[bench] benchmark of various iterator implementations
benchmark flambda iterators iterators-bench ocaml
Last synced: 12 Oct 2024
https://github.com/c-cube/paradox
[clone] model finder for first-order logic, from http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/
Last synced: 12 Oct 2024
https://github.com/c-cube/andes
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
logic-programming memoization ocaml prototype
Last synced: 12 Oct 2024
https://github.com/c-cube/bencode_rpc
[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).
Last synced: 12 Oct 2024
https://github.com/c-cube/quip-book
Book for Quip, a proof format for first-order and higher-order theorem provers
Last synced: 12 Oct 2024
https://github.com/c-cube/ldl
[TOY] loop-dee-loop, an event loop
epoll event-loop kqueue ocaml ocaml5 toy
Last synced: 12 Oct 2024
https://github.com/c-cube/tiny-httpd-moonpool-bench
experiment with tiny_httpd using moonpool as a scheduler
Last synced: 12 Oct 2024
https://github.com/c-cube/ocaml-polynomials
[toy] Toy implementation of multi-variable polynomials over Z
Last synced: 12 Oct 2024
https://github.com/c-cube/ocaml-irclog
parsing IRC logs as produced by irssi
Last synced: 12 Oct 2024
https://github.com/c-cube/strictly_tally
Implementation of relative placement tabulation for dance competitions
Last synced: 12 Oct 2024
https://github.com/c-cube/c-cube.github.io-backup
Personal page (not up to date, see https://simon.cedeela.fr instead)
Last synced: 12 Oct 2024
https://github.com/c-cube/lwt_scheduler
Utils to schedule tasks in the future, using Lwt
Last synced: 12 Oct 2024
https://github.com/c-cube/tstp-proof-checker
[old] a simple OCaml proof-checker for TSTP cnf/fof derivations. It calls external provers to check every proof step.
Last synced: 12 Oct 2024
https://github.com/c-cube/z3-ocaml-multithread-test
reproduce issue #6160 for Z3-ocaml
Last synced: 12 Oct 2024