A system to make public-coin protocols non-interactive, using Meow.

Inspired by Merlin

This crate is an implementation of STROBE using KitTen (reduced round Keccak). STROBE is a framework for symmetric cryptography protocols, similar to how Noise works for key exchange.

An implementation of Designated Verifier Signatures.

This is like a normal signature scheme, except that the signer designates a verifier for each signature. Only this verifier can validate the signature. Furthermore, the verifier can forge signatures which designate them.

An implementation of ZKBoo.

This is a library for creating Non-Interactive Zero-Knowledge Proofs of Knowledge (NIZKPoKs) for arbitary boolean functions.

In other words, given some arbitrary function $f$, and some claimed output $y$, you can prove that you know an input $x$ such that $f(x) = y$, without revealing what the secret $x$ is.

An implementation of Yao’s Garbled Circuits.

This is a protocol which lets two parties compute a boolean function of their private inputs, without revealing those inputs to each other.

This is one of the earliest and simplest two-party MPC protocols.

A simple tool to split seed phrases (like with Ethereum, Bitcoin, etc.) into multiple shares. Any threshold of these shares can then be used to recover the original seed phrase.

A good occasion to implement arithmetic over binary fields from scratch as well.

A simple shell written in C. I implemented basic features like command execution, output redirection, and piping output between processes.

A little solver for the infamous Wordle game, as well as a little CLI implementation of the game. Mainly just a fun weekend project, and a way I consistently beat the game.

A port of my NES emulator to the web, using WASM. Live. Provides a more accessible interface compared to my old ludus project.

A simple incremental hash function for multi-sets. The result of the function depends only on what objects are passed into the function, and not the order they appear.

I wanted to implement Ed25519, so I did that, with this crate implementing everything from scratch, including SHA-512.

I also wanted to optimize the implementation, but didn’t get around to that.

A little CLI tool for E2E encrypted messaging. I implemented Signal’s X3DH and Double Ratchet in a pretty straightforward way. Unlike Signal, this application is session based instead of asynchronous, out of simplicity.

A little tool to encrypt files to public key identities, using Curve25519, Blake3, and ChaCha20-Poly1305, all implemented from scratch.

A library providing constant-time Big Number arithmetic, for Go. Essentially, a replacement for big.Int, suitable for Cryptography.

This was the subject of my BSc Project at EPFL, under the supervision of Prof. Bryan Ford.

Live

This is a fun little fractal explorer I made over a few days. This uses the mandelbrot and julia sets as base fractals, along with various coloring modes based on iteration or orbit traps.

I was bored one weekend, and decided to implement ChaCha20 from scratch (easier than it sounds) to make a tool for encrypting data.

This is a compiler for a respectable subset of Haskell, written in Haskell. This features standard data types, pattern matching, as well as lazy evaluation!

I’m also writing an in-depth series about this compiler

Live

I whipped this up over an afternoon. It’s just a little site letting you write math equations interactively thanks to KaTeX.

This is a simple replacement for the Unix tree program.

This will print out the file system hierarchy in tree form, starting from a given path. The program comes with configurable options for depth, Unicode, and color output.

A simple implementation of the classic Cellular Automaton, as an interactive graphical application in Haskell.

Reg Viz is a simple CLI tool taking a regular expression, and outputting a representation of the NFA / state machine recognizing that language. This is useful to visualize the correspondance between regular languages and finite state machines.

This is a simple application that lets you start video calls with multiple people, in a peer 2 peer fashion. Unlike applications like zoom, there’s no central server handling connections.

Read More

This is similar to Populate.

This is a program that can clone a music library based on its description. It can download albums, split them automatically, and add metadata to these songs, like cover art and names.

It uses youtube-dl for the downloading, and ffmpeg for the splitting.

Poline is a little programming language I wrote to learn about implementing Green Threading. The language doesn’t feature much more than string literals, and mechanisms for spawning threads and communicating between them.

Green Threads allow many logical threads in a program to execute on a limited number of actual OS threads. They can be preempted off if they invoke a blocking operation.

Ginkou is a program to build up a corpus of searchable sentences. Ginkou can consume Japanese sentences from the command line, or from a text file, parse those sentences into words, and then index those sentences for easy retrieval. Given a word, Ginkou can look up sentences containing that word, even if it’s in a different form, such as a conjugated verb.

This is a library providing a handful of persistent data structures for Typescript. This includes immutable collections like linked-lists, and clojure-style vectors. Persistent data structures are immutable, but can efficiently share data between instances, and are thus more efficient than a normal copy-on-write collection when working without mutation.

This is a program that can take a folder of CSV files and serve them as a REST API. The program also uses a JSON file for each file, to specify how each column maps to a JSON field. The program is written in Go to make use of the built-in HTTP server.

Haze is a complete bittorrent client, capable of downloading any kind of torrent found in the wild. Bittorrent is a peer-to-peer protocol, where a client joins a large swarm of peers in order to download a file of common interest. Haskell was used in order to help manage the concurrency involved in communicating with a large number of peers.

Live. Dex is a little frontend app for searching and seeing stats about Pokemon, made with Vue. The app wraps around the pokeapi REST API for information about each Pokemon.

Ripple is a program implementing a small decentralised chat protocol, written in Go. The protocol involves participating nodes ferrying messages to eachother in a ring like fashion. New nodes can join the chat by talking to any of the existing nodes in the swarm. Go is used for simple networking and concurrency, as well as to provide both a command line, and a graphical terminal interface. Read More

This is a CLI program using Huffman Coding to compress files. The program is written in Rust for efficiency.

Bittrickle is an implementation of Bittorrent’s UDP tracker protocol. A tracker keeps track of peers participating in a bittorrent swarms, sharing files. Peers communicate with the tracker in order to learn about each other. This implementation uses Rust because of its built-in UDP networking.

Cauchy is a program to generate plots of complex functions, written in Rust Cauchy is hardware-accelerated, using OpenGL to generate the plots using the GPU.

This is a CLI program to take a folder of songs and play them in a random order. SDL’s audio subsystem is used to play audio files. This program was built to accompany populate, which generates folders filled with songs, ready for consumption by this program.

This is a CLI program that can recreate a music library on a new machine by downloading the files from various sources across the web. The program parses a file with a hierarchical description of the library to replicate , and reproduces that structure by consuming the sources described. The program can also split up larger albums (via FFmpeg) into individual songs if necessary.

Live. This project provides a version of websites like pastebin, or hastebin, except without a central server to store the files; instead users send the files to eachother via webtorrent. Elm is used for the main UI components, and Javascript to glue this code with the webtorrent part.

Hax is a bullet hell game, in the same vein as others like Touhou or Ikaruga. The game is written in Haskell, using SDL for handling the drawing logic. The game logic benefits greatly from the use of an entity component system for handling the many entities in the game. Apecs was used to provide the scaffolding for this ECS.

Ludus is an emulator for the NES console, written in Rust. The emulator fully emulates, the core CPU, as well as the PPU and APU, and thus full video and audio. The emulator also supports a handful of mappers / cartridge types, and thus many common games such as Mario or Zelda.

Alchemy is a library over the API for the chat application Discord. The library integrates over Discord’s REST and Websocket APIs in order to help developers write applications for their chat servers. Elixir was used in order to have easy access to the concurrency involved in juggling these various resources.