fkettelhoit Goto Github PK
Name: Frederic Kettelhoit
Type: User
Company: @sine-fdn
Location: Lisbon
Name: Frederic Kettelhoit
Type: User
Company: @sine-fdn
Location: Lisbon
An implementation of Finger Trees in Agda
A Prelude for the Agda Standard Library
Distributed Document/Graph DB for Connected Pages & Documents
A very short and simple implementation of (bottom-up) Datalog in JS
Minimal test case for reproducing a hanging promise in a Cloudflare Worker
Cloudflare’s developer docs.
A stack-based language written completely in LLVM assembly.
Minimalist Vector Tool
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
A CV in Postscript that displays its own source code
A randomly generated, infinitely printable maze in Postscript that displays its own source code
Hot reload for Dart's shelf web server
A data structure similar to Finger Trees. In Clojure.
My talk about the finger trees data structure for the Fun Club / Haskell User Group meetup
📦✨ your favorite rust -> wasm workflow tool!
Facsimiles of all of Wittgenstein's Nachlass in the Wren Library
5000 pages of Wittgenstein's Nachlass as XML
A visualization of work-document correspondences in the Wittgenstein Nachlass
Rust bindings to Cloudflare Worker KV Stores
Example Cloudflare Worker that calls Workers KV directly from Rust
Write Cloudflare Workers in 100% Rust via WebAssembly
🤠 wrangle your cloudflare workers
🧙♀️ zero-config cloudflare workers application deployment using wrangler and github actions
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.