Functional HTML scraping and rewriting with CSS in OCaml
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
A neat interface for Slack
A library to build and execute typed scientific workflows
A PlantUML to XML converter
- automation
- converter
- document
- ocaml