Marco Aurélio da Silva
Results
5
repositories owned by
Marco Aurélio da Silva
spadille
40
Stars
9
Forks
Watchers
Verifiable/deterministic fair tickets generation for lotteries, raffles and gambling games. :rhinoceros: :four_leaf_clover: :spades: :game_die:
moonforth
15
Stars
1
Forks
Watchers
My own Forth dialect on top of the Lua programming language. [Work in Progress]
ocaml-cuid
18
Stars
1
Forks
Watchers
CUID generator for OCaml. :id: :camel: :1234: :gear:
sporadic
18
Stars
3
Forks
Watchers
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
twostep
20
Stars
5
Forks
Watchers
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel: