-
hashcat-rulemin Public
Semi-practical toy project that implements a REPL for a subset of the Hashcat rule language
-
ocaml-socks Public
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
-
Verifairy Public
Forked from sshine/VerifairyA Haskell implementation of VerifPal™
Haskell UpdatedMay 29, 2023 -
-
lilsumthing Public
AST rewriting of Python for-loop summations as closed-form Gauss summations
Python UpdatedJan 23, 2023 -
qubes-storage-zfs Public
ZFS pool storage for VMs in QubesOS
-
nvlist Public
Sun/Solaris serialization format library
-
jackline Public
Forked from hannesm/jacklineXMPP client in OCaml
OCaml BSD 2-Clause "Simplified" License UpdatedJul 10, 2022 -
hardenedBSD Public
Forked from HardenedBSD/hardenedBSDHardenedBSD development tree.
C Other UpdatedApr 8, 2022 -
mirage-crypto Public
Forked from mirage/mirage-cryptoCryptographic primitives for MirageOS
OCaml ISC License UpdatedOct 13, 2021 -
ocaml-elligator2 Public
port of Elligator2 from libmonocypher
-
ocaml-dns Public
Forked from mirage/ocaml-dnsOCaml implementation of the DNS protocol
OCaml BSD 2-Clause "Simplified" License UpdatedOct 13, 2021 -
eqaf Public
Forked from mirage/eqafConstant time equal function to avoid timing attacks in OCaml
OCaml MIT License UpdatedAug 3, 2021 -
ocaml-imagelib Public
Forked from rlepigre/ocaml-imagelibThe imagelib library implements image formats such as PNG or PPM
-
mirage-framebuffer Public
Experimental portable bitmap framebuffer graphics for MirageOS
-
ocaml-openpgp Public
Forked from robur-coop/ocaml-openpgpWiP: RFC 4880 (OpenPGP) library and utilities in OCaml
-
-
-
ocaml-tls Public
Forked from mirleft/ocaml-tlsTLS in pure OCaml
OCaml BSD 2-Clause "Simplified" License UpdatedMar 21, 2020 -
ocaml-xi-rope Public
xi-editor data structures in OCaml
-
qubes-core-admin Public
Forked from QubesOS/qubes-core-adminQubes component: core-admin
Python GNU Lesser General Public License v2.1 UpdatedDec 27, 2019 -
ocaml-punycode Public
RFC 3492: IDNA Punycode implementation
-
ocaml-tuntap Public
Forked from mirage/ocaml-tuntapBindings to UNIX tuntap facilities
OCaml ISC License UpdatedDec 17, 2019 -
caribou-test Public
test repo fork of caribou to play with notty, oct 2019
OCaml UpdatedOct 14, 2019 -
albatross Public
Forked from robur-coop/albatrossAlbatross: orchestrate and manage MirageOS unikernels with Solo5
OCaml Other UpdatedOct 13, 2019 -
flathead Public
Forked from mato/flatheadI am learning OCaml by implementing some Z-machine tools, for fun!
UpdatedSep 29, 2019 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedSep 25, 2019 -
bencode Public
Forked from rgrinberg/bencodeBencode (.torrent file format) reader/writer in OCaml
OCaml UpdatedSep 15, 2019 -
fiat Public
Forked from mirage/fiatCryptographic primitives taken from Fiat
C Other UpdatedSep 4, 2019 -
eye-of-mirage Public
WiP image viewer using MirageOS