
- Kraków, Poland
- https://github.com/widmogrod
- All languages
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dhall
- Elm
- Erlang
- F#
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- LiveScript
- Lua
- Makefile
- Markdown
- Meson
- Mojo
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- Python
- R
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- TeX
- Thrift
- Twig
- TypeScript
- Vala
- Vim Script
- Vue
- WebAssembly
Starred repositories
Kubernetes-native platform to run massively parallel data/streaming jobs
View HTTP/HTTPS requests made by any Linux program
Implementation of "DiffSensei: Bridging Multi-Modal LLMs and Diffusion Models for Customized Manga Generation"
Proofs in Coq for the book Reflective Programs in Tree Calculus
Techniques and numbers for estimating system's performance from first-principles
🧬 Gene is an opinionated React framework designed to bridge the gap between development speed, project maintainability and scalability
Prefect is a workflow orchestration framework for building resilient data pipelines in Python.
DuckDB-powered data lake analytics from Postgres
Instant is a modern Firebase. We make you productive by giving your frontend a real-time database.
A framework for distributed systems verification, with fault injection
Automated testing to find logic and performance bugs in database systems
Cross-platform filesystem notifications for Go.
Pure Rust implementation of a minimal Generative Pretrained Transformer
LLM Comparator is an interactive data visualization tool for evaluating and analyzing LLM responses side-by-side, developed by the PAIR team.
Borgo is a statically typed language that compiles to Go.
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
🦜🔗 Build context-aware reasoning applications
A JavaScript guestbook app with a number of different backend implementations, each using a different client library to communicate with CrateDB.
A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.
A portable accelerated data query and LLM-inference engine, written in Rust, for data-grounded AI apps and agents.
We write your reusable computer vision tools. 💜
🌟 Open-source, visual programming for developers. Includes a VS Code extension, integrates with existing TypeScript code, browser and Node.js.
Unified framework for building enterprise RAG pipelines with small, specialized models
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC ac…
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
🦎 A multi-protocol edge & service proxy. Seamlessly interface web apps, IoT clients, & microservices to Apache Kafka® via declaratively defined, stateless APIs.