Lúcás Meier

alchemy. A discord library for Elixir

haskell-in-haskell. Trying to write an understandable implementation of Haskell, in Haskell

haze. A bittorrent client, for learning purposes

saferith. Constant time big numbers for Go

cait-sith. Threshold ECDSA via Triples

seed-split. Splitting seed phrases into shares

boo-hoo. An implementation of ZKBoo

ludus. A pluggable NES emulator

yao-gc. A basic implementation of Yao's Garbled Circuits

multiset-hash. A small crate for hashing multi sets

magikitten. Easy Fiat-Shamirization using Meow

meow. Rust

deevee. Designatived verifier Schnorr signatures

poline. Tiny language with green threads

viviani. Elixir

nimotsu. Rolling some crypto for PGP-esque public key message sending

kyokusen. Elliptic Curves for Cryptography

persistent-ts. Persistent data structures for Typescript

bittrickle. UDP bittorrent tracker

cauchy. A hardware accelerated complex function plotter

ginkou. Japanese sentence bank program. Add and find sentences for language learning.

Rem-Boo. Fast ZK proofs over boolean circuits with RAM

nuntius. Having fun making an E2E messaging app

serve-csv. Create a web API from static csv files

arbor. A rusty replacement for the `tree` command

raymarch. Rust

populate. Populate a music library based on a descriptive file

ovis. Simple functional programming language

chika. A low level procedural language, compiling to assembly

nicer-mecab. Japanese morphological analysis. Wrapper over mecab.

hax. A bullet hell game in haskell

Advent-2018. Haskell

polka. A C compiler, using the most advanced version of Scala

peerbin. Peer based code sharing site

haisou-chan. A library for simulating network delays

sally. Learning how to make a basic shell in C

mpc-for-group-reconstruction-circuits. TeX

butterfly-test. Testing an algorithm for creating routing networks from permutations

big-boo. Experimenting with fast symmetric ZK proofs of knowledge

wordle. Playing around with the infamous word game hit of 2022

omocha. A toy blockchain

mariner. An experiment in ZK circuit DSLs

strix. Rust