Pinned Repositories
agda-prelude
A Prelude for the Agda Standard Library
assemblagedb
Distributed Document/Graph DB for Connected Pages & Documents
bottom-up-datalog-js
A very short and simple implementation of (bottom-up) Datalog in JS
postscript-cv-quine
A CV in Postscript that displays its own source code
postscript-maze-quine
A randomly generated, infinitely printable maze in Postscript that displays its own source code
shelf-hot-reload
Hot reload for Dart's shelf web server
wittgenstein-work-sources-viz
A visualization of work-document correspondences in the Wittgenstein Nachlass
workers-kv-from-rust
Example Cloudflare Worker that calls Workers KV directly from Rust
garble-lang
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
wittgenstein-project.github.io
Ludwig Wittgenstein's Works as .epub, .mobi, .pdf and .md
fkettelhoit's Repositories
fkettelhoit/bottom-up-datalog-js
A very short and simple implementation of (bottom-up) Datalog in JS
fkettelhoit/assemblagedb
Distributed Document/Graph DB for Connected Pages & Documents
fkettelhoit/workers-kv-from-rust
Example Cloudflare Worker that calls Workers KV directly from Rust
fkettelhoit/agda-prelude
A Prelude for the Agda Standard Library
fkettelhoit/postscript-maze-quine
A randomly generated, infinitely printable maze in Postscript that displays its own source code
fkettelhoit/postscript-cv-quine
A CV in Postscript that displays its own source code
fkettelhoit/shelf-hot-reload
Hot reload for Dart's shelf web server
fkettelhoit/simpler-finger-trees
A data structure similar to Finger Trees. In Clojure.
fkettelhoit/agda-fingertrees
An implementation of Finger Trees in Agda
fkettelhoit/dddd
A stack-based language written completely in LLVM assembly.
fkettelhoit/Dotgrid
Minimalist Vector Tool
fkettelhoit/wittgenstein-nachlass-facsimiles
Facsimiles of all of Wittgenstein's Nachlass in the Wren Library
fkettelhoit/wittgenstein-work-sources-viz
A visualization of work-document correspondences in the Wittgenstein Nachlass
fkettelhoit/cf-worker-rust-hanging-promise
Minimal test case for reproducing a hanging promise in a Cloudflare Worker
fkettelhoit/cloudflare-docs
Cloudflare’s developer docs.
fkettelhoit/fkettelhoit.github.io
fkettelhoit/intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
fkettelhoit/talk-fingertrees
My talk about the finger trees data structure for the Fun Club / Haskell User Group meetup
fkettelhoit/vorpal
Explorations in Programming Languages
fkettelhoit/wasm-pack
📦✨ your favorite rust -> wasm workflow tool!
fkettelhoit/wittgenstein-nachlass-xml
5000 pages of Wittgenstein's Nachlass as XML
fkettelhoit/worker-kv
Rust bindings to Cloudflare Worker KV Stores
fkettelhoit/workers-rs
Write Cloudflare Workers in 100% Rust via WebAssembly
fkettelhoit/wrangler
🤠 wrangle your cloudflare workers
fkettelhoit/wrangler-action
🧙♀️ zero-config cloudflare workers application deployment using wrangler and github actions