michaelfruth's Stars
zed-industries/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
microsoft/garnet
Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.
valkey-io/valkey
A flexible distributed key-value datastore that supports both caching and beyond caching workloads.
questdb/questdb
QuestDB is an open source time-series database for fast ingest and SQL queries
gunnarmorling/1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
XKNX/xknx
XKNX - A KNX library written in Python
TermiT/Flycut
Clean and simple clipboard manager for developers
XKNX/xknxproject
ETS project parser written in python
warpdotdev/Warp
Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
evcc-io/evcc
Sonne tanken ☀️🚘
Rust-for-Linux/linux
Adding support for the Rust language to the Linux kernel.
LineaLabs/lineapy
Move fast from data science prototype to pipeline. Capture, analyze, and transform messy notebooks into data pipelines with just two lines of code.
bheisler/criterion.rs
Statistics-driven benchmarking library for Rust
darkreader/darkreader
Dark Reader Chrome and Firefox extension
oblador/hush
🤫 Noiseless Browsing – Content Blocker for Safari
duckdb/duckdb
DuckDB is an analytical in-process SQL database management system
gnachman/iTerm2
iTerm2 is a terminal emulator for Mac OS X that does amazing things.
ohmyzsh/ohmyzsh
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.
romkatv/powerlevel10k
A Zsh theme
ycm-core/YouCompleteMe
A code-completion engine for Vim
FlickType/FlickTypeKit
A powerful keyboard for your Apple Watch app
cmu-db/benchbase
Multi-DBMS SQL Benchmarking Framework via JDBC
televator-apps/vimari
Safari port of vimium
oltpbenchmark/oltpbench
Database Benchmarking Framework
junyang/radb
RA (radb): A relational algebra interpreter over relational databases
json-schema-org/JSON-Schema-Test-Suite
A language agnostic test suite for the JSON Schema specifications
abarker/pdfCropMargins
pdfCropMargins -- a program to crop the margins of PDF files
haggholm/is-json-schema-subset
Check to see if input of one JSON schema will be valid according to another schema
KITPraktomatTeam/Praktomat
quality control for programming assignments
IBM/jsonsubschema
Tool for checking whether a JSON schema is a subschema of another JSON schema.