Hrvoje Bandov (withtypes)

withtypes

Geek Repo

Company:@lunatic-solutions

Twitter:@withtypes

Github PK Tool:Github PK Tool

Hrvoje Bandov's starred repositories

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:29875Issues:81Issues:2219

ruff

An extremely fast Python linter and code formatter, written in Rust.

Language:RustLicense:MITStargazers:28767Issues:75Issues:4651

just

🤖 Just a command runner

Language:RustLicense:CC0-1.0Stargazers:18501Issues:65Issues:938

d2

D2 is a modern diagram scripting language that turns text to diagrams.

Language:GoLicense:MPL-2.0Stargazers:16185Issues:58Issues:1007

frigate

NVR with realtime local object detection for IP cameras

Language:PythonLicense:MITStargazers:16029Issues:170Issues:5064

twenty

Building a modern alternative to Salesforce, powered by the community.

Language:TypeScriptLicense:AGPL-3.0Stargazers:14997Issues:75Issues:2750

candle

Minimalist ML framework for Rust

Language:RustLicense:Apache-2.0Stargazers:14372Issues:147Issues:613

coredns

CoreDNS is a DNS server that chains plugins

Language:GoLicense:Apache-2.0Stargazers:12001Issues:238Issues:2301

hyperswitch

An open source payments switch written in Rust to make payments fast, reliable and affordable

Language:RustLicense:Apache-2.0Stargazers:11048Issues:59Issues:1343

bloop

bloop is a fast code search engine written in Rust.

Language:RustLicense:Apache-2.0Stargazers:9303Issues:64Issues:133

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

Language:ZigLicense:Apache-2.0Stargazers:8808Issues:74Issues:510

mise

dev tools, env vars, task runner

Language:RustLicense:MITStargazers:8099Issues:22Issues:968

electric

Local-first sync layer for web and mobile apps. Build reactive, realtime, local-first apps directly on Postgres.

Language:ElixirLicense:Apache-2.0Stargazers:5381Issues:39Issues:228

Pluto.jl

🎈 Simple reactive notebooks for Julia

Language:JavaScriptLicense:MITStargazers:4911Issues:36Issues:1609

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:3874Issues:119Issues:2462

redb

An embedded key-value database in pure Rust

Language:RustLicense:Apache-2.0Stargazers:3045Issues:25Issues:284

vtracer

Raster to Vector Graphics Converter

Language:RustLicense:MITStargazers:2963Issues:45Issues:0

pgroll

PostgreSQL zero-downtime migrations made easy

Language:GoLicense:Apache-2.0Stargazers:2783Issues:19Issues:65

nomnoml

The sassy UML diagram renderer

Language:TypeScriptLicense:MITStargazers:2656Issues:41Issues:169

jaq

A jq clone focussed on correctness, speed, and simplicity

Language:RustLicense:MITStargazers:2594Issues:20Issues:108

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Language:CLicense:NOASSERTIONStargazers:2447Issues:37Issues:319

mathesar

Web application providing an intuitive user experience to databases.

Language:PythonLicense:GPL-3.0Stargazers:2283Issues:29Issues:1806

pgmq

A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.

Language:RustLicense:PostgreSQLStargazers:2241Issues:17Issues:78

wonnx

A WebGPU-accelerated ONNX inference run-time written 100% in Rust, ready for native and the web

Language:RustLicense:NOASSERTIONStargazers:1543Issues:13Issues:79

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1521Issues:19Issues:471

casync

Content-Addressable Data Synchronization Tool

penrose

A library for writing an X11 tiling window manager

Language:RustLicense:MITStargazers:1211Issues:25Issues:193

karmem

Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo and WASM.

Language:GoLicense:BSD-3-ClauseStargazers:647Issues:5Issues:51

desync

Alternative casync implementation

Language:GoLicense:BSD-3-ClauseStargazers:324Issues:15Issues:123

unzrip

Unzip implementation, support for parallel decompression, automatic detection encoding

Language:RustLicense:MITStargazers:222Issues:2Issues:6