Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
78 port(s) found

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: universal

discount

C implementation of the Markdown markup language

Version: 2.2.7d | Maintained by: landonf | Categories: textproc | Variants: universal

everparse

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: universal

git-remote-hg

Transparent bidirectional bridge between Git and Mercurial for Git

Version: 1.0.3.2 | Maintained by: landonf | Categories: devel python | Variants: universal

kremlin

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