marcoonroad/subtype-refinement

Stars
10
Rank 1,807,489 (Top 36 %)
Language
OCaml
License
MIT License
Created over 7 years ago
Updated about 4 years ago

marcoonroad/subtype-refinement

marcoonroad

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚

spadille

Verifiable/deterministic fair tickets generation for lotteries, raffles and gambling games. 🦏 🍀 ♠️ 🎲

twostep

HOTP and TOTP algorithms for 2-step verification (for OCaml). 🕙 🔐 🔢 🐫

ocaml-cuid

CUID generator for OCaml. 🆔 🐫 🔢 ⚙️

sporadic

Composable Concurrency Abstractions for JavaScript. 🛤️ 🦏 🚋 🚦

moonforth

My own Forth dialect on top of the Lua programming language. [Work in Progress]

nocoiner

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. 🍀 🐫 🔒 🔑

hieroglyphs

Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. 🛡️ 🐫 🔒 🔑 [Work In Progress]

shared-secret

Abstract (encapsulated) messages or hidden (semi-deterministic) exceptions using OCaml's module system. 🤐 🐫 🔒 ⚙️

merkle-trees

[WIP] Optimized Merkle Tree algorithm for traversal/verification and path computation. 🌲 🔐 🔀 🐫

talents

Pluggable contextual talents implementation for Lua. 🎨 🌙 🎭 💃

ownership-disciplines

My own personal list of ownership policies. 🔬 📚 ❓ 🤔 [Work in Progress]

families

Concatenation-based prototypes implementation for Lua. 🔬 🌙 👨‍👩‍👧‍👦 🏡

Coro-Simple

Simple coroutines for Perl 6, inspired by the Lua coroutines. 🛤️ 🦋 🚋 🚦

modest

Script/module mode detection while running/loading Lua files. 🔍 🌙 ℹ️ 🕵️‍♂️

instrumental

Financial Instruments encoded as Smart Contracts. 💰 🏦 📈 🌷 [Work In Progress]

passbase

[WIP] Node.js scripts to generate large datafiles of passwords for cracking tools such as John the Ripper.

gradient

Gradual Typing encoding for Scala.

CriminalCodeSystem

shareholders

Secret Sharing/Splitting library for OCaml. [Work In Progress]

Desafio-React

redis-scripts

My own personal list of custom Lua <=> Redis scripts. 🔴 🌙 📖 ⚙️

cuid

CUID generator for Lua. 🆔 🌙 🔢 ⚙️

rhizome-pass

[Work In Progress] Offline Password Manager (as a PWA) 🔑 🦏 📴 ⚙️

perl6-cuid

CUID generator for Perl 6. 🆔 🦋 🔢 ⚙️