c-cube
Follow
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
-
Imandra (@imandra-ai)
- washington DC
-
23:55
(UTC -04:00) - https://simon.cedeela.fr
- @c_cube@octodon.social
Block or Report
Block or report c-cube
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
ocaml-containers
ocaml-containers PublicA lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
-
sneeuwballen/zipperposition
sneeuwballen/zipperposition PublicAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
-
tiny_httpd
tiny_httpd PublicMinimal HTTP server using good old threads + blocking IO, with a small request router.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.