Page 4 of 4 | Showing port(s) 61 to 78
ocaml-topkg
The transitory OCaml software packager
Version: 1.0.7 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-ulex
lexer generator for Unicode and OCaml
Version: 1.2 | Maintained by: landonf | Categories: devel textproc ocaml | Variants:ocaml-visitors
An OCaml syntax extension for generating visitor classes
Version: 20210608 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-wasm
OCaml Web Assembly library
Version: 2.0.0 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-xdg
Composable build system for OCaml
Version: 3.14.0 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-yojson
JSON parsing and printing library for OCaml
Version: 2.1.2 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-zarith
Arbitrary-precision integers for OCaml
Version: 1.13 | Maintained by: landonf | Categories: devel ocaml | Variants:py-z3
Python bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugpy310-z3
Python 3.10 bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugpy311-z3
Python 3.11 bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugpy312-z3
Python 3.12 bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugpy38-z3
Python 3.8 bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugpy39-z3
Python 3.9 bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debugvampire
Vampire Theorem Prover
Version: 2021-08-04 | Maintained by: landonf | Categories: science math | Variants: debug, native, polly, profile, universalxcbeautify
A beautifier tool for xcodebuild, SPM, and bazel output.
Version: 1.6.0 | Maintained by: landonf | Categories: devel | Variants:z3
Z3 Theorem Prover
Version: 4.12.6 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universalz3-fstar
F*-qualified release of the Z3 Theorem Prover
Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, pgo, universalz3-java
Java bindings for the Z3 theorem prover
Version: 4.12.6 | Maintained by: landonf | Categories: science java math | Variants: debug, universal78 port(s) found
Page 4 of 4 | Showing port(s) 61 to 78