Discover @tomhoule Open Source projects

Tom Houlé (@tomhoule)

tomhoule

Stars
144
Global Rank 158,553 (Top 6 %)
Followers 112
Following 85
Registered over 9 years ago
Most used languages

Rust
55.2 %

Nix
10.3 %

Lean 6.9 %

HTML
6.9 %

Scala
3.4 %

Zig
3.4 %

PureScript 3.4 %

JavaScript
3.4 %

Haskell
3.4 %

Vim Script
3.4 %
Location 🇩🇪 Germany
Country Total Rank 7,978
Country Ranking

Lean 13

Zig
26

PureScript 40

Nix
64

Rust
322

Vim Script
347

Haskell
350

Scala
464

HTML
3,934

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

tomhoule.github.io

look at tomhoule/homepage for the source

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