ivanyu
Follow
Stars
A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.
Jeff Dean's latency numbers plotted over time
A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogrammin…
OpenData is a collection of open source databases built on a common, object-native storage and infrastructure foundation.
Rust definitions of the resource types in the Kubernetes client API
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
DuckLake is an integrated data lake and catalog format
A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1
A cloud native embedded storage engine built on object storage.
High quality UI controls to complement the core JavaFX distribution
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
A games launcher for GOG, Amazon and Epic Games for Linux, Windows and macOS.
The Testcontainers wrapper for https://github.com/fsouza/fake-gcs-server
Fork of Apache Kafka implementing KIP-1150 -- Diskless Topics
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Build GUI for your Python program with JavaScript, HTML, and CSS
FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)
Perforator is a cluster-wide continuous profiling tool designed for large data centers