Page 1 of 4 | Showing port(s) 1 to 20
certsync
Export x509 CAs from the Mac OS X Keychain.
Version: 1.1.3 | Maintained by: landonf | Categories: security | Variants: universaldiscount
C implementation of the Markdown markup language
Version: 2.2.7d | Maintained by: landonf | Categories: textproc | Variants: universaleverparse
A verified secure parser framework for F*.
Version: 20220602-e722715 | Maintained by: landonf | Categories: devel | Variants:fstar
General-purpose functional language aimed at program verification
Version: 2022.06.08 | Maintained by: landonf | Categories: devel lang | Variants:fstar-devel
Obsolete port, replaced by fstar
Version: 20210824-b95d1ac | Maintained by: landonf | Categories: devel lang | Variants:fstar_select
Obsolete port
Version: 1.3 | Maintained by: landonf | Categories: devel lang | Variants:git-cinnabar
Git remote helper to interact with mercurial repositories.
Version: 0.5.8 | Maintained by: landonf | Categories: devel python | Variants: universalgit-remote-hg
Transparent bidirectional bridge between Git and Mercurial for Git
Version: 1.0.3.2 | Maintained by: landonf | Categories: devel python | Variants: universalkremlin
A tool for extracting low-level F* programs to readable C code
Version: 2022.06.08 | Maintained by: landonf | Categories: devel lang | Variants:kremlin-devel
Obsolete port, replaced by fstar
Version: 20210824-b95d1ac | Maintained by: landonf | Categories: devel lang | Variants:kremlin_select
Obsolete port
Version: 1.3 | Maintained by: landonf | Categories: devel lang | Variants:nq
Unix command line queue utility
Version: 1.0 | Maintained by: landonf | Categories: sysutils | Variants:ocaml-base
Jane Street's Full standard library replacement for OCaml
Version: 0.16.3 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-batteries
A new O'Caml standard library
Version: 3.8.0 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-bigarray-compat
OCaml compatibility library to use Stdlib.Bigarray when possible
Version: 1.1.0 | Maintained by: landonf | Categories: devel lang ocaml | Variants:ocaml-biniou
Binary data library for OCaml
Version: 1.2.2 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-compiler-libs
OCaml compiler libraries, repackaged
Version: 0.12.4 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-cppo
Code preprocessor for OCaml
Version: 1.6.9 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-cppo_ocamlbuild
Code preprocessor for OCaml
Version: 1.6.9 | Maintained by: landonf | Categories: devel ocaml | Variants:ocaml-cryptokit
OCaml interface to cryptographic functions.
Version: 1.13 | Maintained by: landonf | Categories: devel security ocaml | Variants:78 port(s) found
Page 1 of 4 | Showing port(s) 1 to 20