tomhoule/coursera-scala-epfl

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Scala
Created over 8 years ago
Updated over 7 years ago

tomhoule/coursera-scala-epfl

tomhoule

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

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

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

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