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