Tom Houlé

purescript-waterslide-rs. Generate Purescript types from your Rust types. (unmaintained)

zig-diff. Text diffing in zig

gitmoji-selector. gitmoji selection with fzf+tmux

rust-nix-wasm32-unknown-unknown-example. An example project building a Rust crate targetting wasm32-unknown-unknown with Nix

tide-static-files. A static files server helper for the tide web framework (not production ready)

tide-cookie-session. Experimental cookie session middleware and extractor for the tide web framework.

graphql-introspection-protobuf. Protocol Buffer v3 definitions for GraphQL schema introspection.

theorem-proving-in-lean-exercises. Lean

nannou-sketches. Just trying to make interesting things

coursera-scala-epfl. My solutions to the exercizes and assignments for the Coursera Scala courses

wgpu-minimal-video-rendering-example. A tiny example project demonstrating how to render directly to a video file with wgpu

graphql-client-talk. Rust

nix-config. It's what it says on the tin.

init.vim. My neovim config files

catslapp. Rust

spock-kant-lipsum. kantlipsum as a web app

prisma-migration-engine-api-reference. Just an experiment

homepage. HTML

holidays-gem. Rust

gql-something-different-prototype. Rust

protoc-gen-gql. WIP

crane-workspace-deps-repro. Nix

tpil4. theorem proving in lean 4 exercises

postgraphql-experiment. Rust

try-parcel. Rust

stop-politicizing-bot. a small twitter bot (node + rust with wasm)

fragments-cli. Rust

rocket-experiment. Rust

spivak-calculus. Notes and proofs in lean from reading Michael Spivak's Calculus (3rd ed).

purescript-experiment-pux. PureScript

awesome-lean4. Curated list of awesome Lean 4 projects from the community.

chezmoi-dotfiles. Shell