marcoonroad/subtype-refinement marcoonroad/subtype-refinement

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcoonroad/subtype-refinement
github

marcoonroad

Reviews

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

Repository Details

Refinement types encoded with private types in OCaml. ๐Ÿ™„ ๐Ÿซ ๐Ÿ”ฌ ๐Ÿ“š

More Repositories

1

spadille

Verifiable/deterministic fair tickets generation for lotteries, raffles and gambling games. ๐Ÿฆ ๐Ÿ€ โ™ ๏ธ ๐ŸŽฒ
JavaScript
44
star
2

twostep

HOTP and TOTP algorithms for 2-step verification (for OCaml). ๐Ÿ•™ ๐Ÿ” ๐Ÿ”ข ๐Ÿซ
OCaml
20
star
3

ocaml-cuid

CUID generator for OCaml. ๐Ÿ†” ๐Ÿซ ๐Ÿ”ข โš™๏ธ
OCaml
18
star
4

sporadic

Composable Concurrency Abstractions for JavaScript. ๐Ÿ›ค๏ธ ๐Ÿฆ ๐Ÿš‹ ๐Ÿšฆ
JavaScript
18
star
5

moonforth

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

nocoiner

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. ๐Ÿ€ ๐Ÿซ ๐Ÿ”’ ๐Ÿ”‘
OCaml
11
star
7

hieroglyphs

Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. ๐Ÿ›ก๏ธ ๐Ÿซ ๐Ÿ”’ ๐Ÿ”‘ [Work In Progress]
OCaml
10
star
8

shared-secret

Abstract (encapsulated) messages or hidden (semi-deterministic) exceptions using OCaml's module system. ๐Ÿค ๐Ÿซ ๐Ÿ”’ โš™๏ธ
OCaml
8
star
9

merkle-trees

[WIP] Optimized Merkle Tree algorithm for traversal/verification and path computation. ๐ŸŒฒ ๐Ÿ” ๐Ÿ”€ ๐Ÿซ
Reason
4
star
10

talents

Pluggable contextual talents implementation for Lua. ๐ŸŽจ ๐ŸŒ™ ๐ŸŽญ ๐Ÿ’ƒ
Lua
3
star
11

ownership-disciplines

My own personal list of ownership policies. ๐Ÿ”ฌ ๐Ÿ“š โ“ ๐Ÿค” [Work in Progress]
Ruby
3
star
12

families

Concatenation-based prototypes implementation for Lua. ๐Ÿ”ฌ ๐ŸŒ™ ๐Ÿ‘จโ€๐Ÿ‘ฉโ€๐Ÿ‘งโ€๐Ÿ‘ฆ ๐Ÿก
Lua
3
star
13

Coro-Simple

Simple coroutines for Perl 6, inspired by the Lua coroutines. ๐Ÿ›ค๏ธ ๐Ÿฆ‹ ๐Ÿš‹ ๐Ÿšฆ
Perl 6
2
star
14

modest

Script/module mode detection while running/loading Lua files. ๐Ÿ” ๐ŸŒ™ โ„น๏ธ ๐Ÿ•ต๏ธโ€โ™‚๏ธ
Shell
2
star
15

instrumental

Financial Instruments encoded as Smart Contracts. ๐Ÿ’ฐ ๐Ÿฆ ๐Ÿ“ˆ ๐ŸŒท [Work In Progress]
JavaScript
1
star
16

passbase

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

gradient

Gradual Typing encoding for Scala.
Scala
1
star
18

CriminalCodeSystem

C#
1
star
19

shareholders

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

Desafio-React

TypeScript
1
star
21

redis-scripts

My own personal list of custom Lua <=> Redis scripts. ๐Ÿ”ด ๐ŸŒ™ ๐Ÿ“– โš™๏ธ
Lua
1
star
22

cuid

CUID generator for Lua. ๐Ÿ†” ๐ŸŒ™ ๐Ÿ”ข โš™๏ธ
Shell
1
star
23

rhizome-pass

[Work In Progress] Offline Password Manager (as a PWA) ๐Ÿ”‘ ๐Ÿฆ ๐Ÿ“ด โš™๏ธ
TypeScript
1
star
24

perl6-cuid

CUID generator for Perl 6. ๐Ÿ†” ๐Ÿฆ‹ ๐Ÿ”ข โš™๏ธ
Perl 6
1
star