tomhoule/tomhoule.github.io

Stars
1
Language
HTML
Created about 4 years ago
Updated 10 months ago

tomhoule/tomhoule.github.io

tomhoule

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

look at tomhoule/homepage for the source

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.

theorem-proving-in-lean-exercises

graphql-introspection-protobuf

Protocol Buffer v3 definitions for GraphQL schema introspection.

nannou-sketches

Just trying to make interesting things

coursera-scala-epfl

My solutions to the exercizes and assignments for the Coursera Scala courses

init.vim

My neovim config files

catslapp

graphql-client-talk

nix-config

It's what it says on the tin.

spock-kant-lipsum

kantlipsum as a web app

holidays-gem

homepage

prisma-migration-engine-api-reference

Just an experiment

tpil4

theorem proving in lean 4 exercises

try-parcel

fragments-cli

stop-politicizing-bot

a small twitter bot (node + rust with wasm)

awesome-lean4

Curated list of awesome Lean 4 projects from the community.

crane-workspace-deps-repro

rocket-experiment

protoc-gen-gql

postgraphql-experiment

wgpu-minimal-video-rendering-example

A tiny example project demonstrating how to render directly to a video file with wgpu

purescript-experiment-pux

gql-something-different-prototype