Repositories (8)
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel:
CUID generator for OCaml. :id: :camel: :1234: :gear:
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
My own Forth dialect on top of the Lua programming language. [Work in Progress]
Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. :shield: :camel: :lock: :key: [Work In Progress]
Script/module mode detection while running/loading Lua files. :mag: :crescent_moon: :information_source: :male_detective: