coq / bot
A (Coq Development Team) bot written in OCaml
☆23Updated 3 weeks ago
Alternatives and similar repositories for bot:
Users that are interested in bot are comparing it to the libraries listed below
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- ☆21Updated last year
- A library of splittable pseudo-random number generators for OCaml☆34Updated last month
- Keywords to Write Command Lines ~ Partial porcelain around Cmdliner☆11Updated last month
- easy-to-use wrapper for OCaml's Dynlink☆16Updated 8 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Menhir polishing toolbox, for experienced druids☆31Updated 2 weeks ago
- a distributed computing library for OCaml☆24Updated last year
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- An easy interface on top of the Jsonm library.☆40Updated last year
- ☆16Updated 6 years ago
- Library containing the definition of S-expressions and some base converters☆18Updated 3 months ago
- OCaml bindings to kqueue☆21Updated last year
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 2 years ago
- Create, Answer and Integrate Questionnaires in OCaml☆13Updated 2 years ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- The OCaml findlib library manager☆34Updated 3 months ago
- OCaml bindings to Minisat☆12Updated 9 months ago
- A tool to ease contributions to opam repositories☆40Updated 2 months ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Low Level Bindings to Libev☆29Updated 4 months ago
- a solver for opam packages using 0install's solver engine☆21Updated 4 months ago
- Efficient caching library for OCaml☆33Updated last year
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Convert file extensions to MIME types☆23Updated last year
- A project which aim to help engineers to make proves easily☆13Updated 2 years ago
- Result value combinators for OCaml☆37Updated last year
- String searching with errors, using the Wu-Manber algorithm☆23Updated last month
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago