lexzaiello

corona-inc

Coronavirus, but it's plague inc.

dotfiles

My nix files for emacs, ricing, etc...

skpi-calculus

ic-sandbox

IC Sandbox: my aggregated interaction combinator research sandbox.

toydb

Toy database implemented for fun in Rust with asynchronous I/O and actor concurrency.

auction-arbitrage-bot

An extensible arbitrage bot for trading against valence auctions, Astroport and Osmosis.

config.nix

My nix config files.

covenants

dubchan-react

DubChan UI written in react.

fp-formal

Rocq stuff

gomerize

A command-line application useful for memorizing arbitrary amounts of information.

hambda

Lambda calculus evaluator in Haskell.

ic.lean

Interaction Combinators in Lean for Proving Properties of High Level Compilers

info-201-final-project

interchaintest

e2e testing framework for the interchain

lci

Fun!

learning-haskell

learning-lean

Learrning lean

lexzaiello.github.io

Me.

libp2p-websys-transport

A libp2p Websocket transport for Wasm browser apps.

math-480-final-project

Dowland, Jeb, Taylor, Vani

MATH480

mywm

My penrose-based tiling wm.

partial_order_tactic

Partiarith with BFS

proselint.nix

research

Some of my thoughts.

rust

Empowering everyone to build reliable and efficient software.

tactics

Some lean tactics I'm making

tzchat

wtftw.nix

Flake packaging the wtftw window manager.