Armael/cdcl external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Armael/cdcl

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Armael/cdcl)

Close

Armael / cdclView on GitHubMore

• External links
• Readme badge

☆17Nov 21, 2019Updated 6 years ago

Alternatives and similar repositories for cdcl

Users that are interested in cdcl are comparing it to the libraries listed below

• typesanitizer / b2piet

  View on GitHub
  ☆10Nov 1, 2017Updated 8 years ago
• rizo / io

  View on GitHub
  Simple, secure and composable I/O abstraction for construction of efficient computation workflows.
  ☆10Jun 11, 2016Updated 9 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• rizo / iter

  View on GitHub
  Efficient functorized iterators for OCaml.
  ☆13Feb 23, 2018Updated 8 years ago
• arlencox / QUICr

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆16Mar 10, 2021Updated 4 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• janestreet / sexplib0

  View on GitHub
  Library containing the definition of S-expressions and some base converters
  ☆20Jan 15, 2026Updated last month
• Armael / ocaml-loliwm

  View on GitHub
  Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml
  ☆12Feb 7, 2015Updated 11 years ago
• rizo / streams-bench

  View on GitHub
  Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.
  ☆15Aug 15, 2022Updated 3 years ago
• j0sh / ocaml-gensqlite

  View on GitHub
  OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions
  ☆12Nov 17, 2015Updated 10 years ago
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆11Oct 4, 2019Updated 6 years ago
• let-def / assimp

  View on GitHub
  Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
  ☆11Nov 28, 2016Updated 9 years ago
• aantron / faster-map

  View on GitHub
  A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.
  ☆13Sep 23, 2021Updated 4 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 3 years ago
• vbmithr / ocaml-thrift-lib

  View on GitHub
  Thrift library for OCaml extracted from Thrift sources
  ☆17Jun 10, 2024Updated last year
• tokenrove / tsdl-image

  View on GitHub
  OCaml SDL2_image bindings to go with Tsdl
  ☆14Sep 12, 2021Updated 4 years ago
• termite-analyser / llvm2smt

  View on GitHub
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Apr 20, 2018Updated 7 years ago
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆13Oct 23, 2020Updated 5 years ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 10 years ago
• ocaml-doc / octavius

  View on GitHub
  ocamldoc comment syntax parser
  ☆20Apr 30, 2020Updated 5 years ago
• cedlemo / OCaml-libmpdclient

  View on GitHub
  mpd client library implementation in OCaml.
  ☆16Jun 23, 2023Updated 2 years ago
• Chris00 / ocaml-dropbox

  View on GitHub
  Binding to the Dropbox Remote API
  ☆12Jun 13, 2020Updated 5 years ago
• avsm / opam-boot

  View on GitHub
  Bootstrap scripts to build standalone OPAM projects
  ☆15Nov 9, 2017Updated 8 years ago
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 3 years ago
• Octachron / orec

  View on GitHub
  Open records implemented using map over universal type
  ☆34Mar 30, 2020Updated 5 years ago
• nojb / ocaml-gccjit

  View on GitHub
  OCaml bindings for libgccjit
  ☆28Feb 13, 2017Updated 9 years ago
• Khady / ocaml-junit

  View on GitHub
  OCaml package to produce JUnit xml reports
  ☆19Jan 2, 2026Updated 2 months ago
• mor1 / ocaml-tftp

  View on GitHub
  ☆18Mar 12, 2016Updated 9 years ago
• c-cube / sqlite3_utils

  View on GitHub
  [beta] High-level wrapper around ocaml-sqlite3
  ☆17Apr 28, 2022Updated 3 years ago
• anmonteiro / eio-ssl

  View on GitHub
  OpenSSL bindings to OCaml EIO
  ☆20Jun 25, 2024Updated last year
• oklm-wsh / Callipyge

  View on GitHub
  Curve25519 in OCaml.
  ☆16Sep 4, 2018Updated 7 years ago
• xavierleroy / spamoracle

  View on GitHub
  E-mail filter and classifier based on Bayesian learning
  ☆16Jan 4, 2022Updated 4 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• ujamjar / ctypes_of_clang

  View on GitHub
  Convert C-code to OCaml Ctypes via Clang
  ☆19Apr 15, 2019Updated 6 years ago
• Gbury / ocaml-cgroups

  View on GitHub
  OCaml interface to cgroups
  ☆21Sep 16, 2022Updated 3 years ago
• CoucouInc / coucoubot

  View on GitHub
  [private joke] IRC bot for a private channel on freenode
  ☆17Jan 20, 2024Updated 2 years ago
• mcclure / ppx_const

  View on GitHub
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Nov 20, 2020Updated 5 years ago
• ml-in-barcelona / quickjs.ml

  View on GitHub
  OCaml bindings to quickjs
  ☆23Feb 23, 2026Updated last week