Ivan Kozik's starred repositories

photoprism

AI-Powered Photos App for the Decentralized Web 🌈💎✨

Language:GoLicense:NOASSERTIONStargazers:33020Issues:334Issues:2101

dioxus

Fullstack GUI library for web, desktop, mobile, and more.

Language:RustLicense:Apache-2.0Stargazers:18706Issues:98Issues:1010

inter

The Inter font family

Language:PythonLicense:OFL-1.1Stargazers:17073Issues:162Issues:547

tortoise-tts

A multi-voice TTS system trained with an emphasis on quality

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:12031Issues:167Issues:486

biome

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

Language:RustLicense:Apache-2.0Stargazers:11111Issues:43Issues:879

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9816Issues:181Issues:5396

FriendsDontLetFriends

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

csswg-drafts

CSS Working Group Editor Drafts

Language:BikeshedLicense:NOASSERTIONStargazers:4291Issues:342Issues:8221

postgres_lsp

A Language Server for Postgres

Language:RustLicense:MITStargazers:3116Issues:39Issues:16

melt-ui

A set of headless, accessible component builders for Svelte.

Language:TypeScriptLicense:MITStargazers:2984Issues:13Issues:462

html2svg

Convert HTML and `<canvas>` to SVG, PDF, or images using Chromium

webauthn

Web Authentication: An API for accessing Public Key Credentials

Language:HTMLLicense:NOASSERTIONStargazers:1101Issues:181Issues:1146

m4b-tool

m4b-tool is a command line utility to merge, split and chapterize audiobook files such as mp3, ogg, flac, m4a or m4b

Language:PHPLicense:MITStargazers:1093Issues:31Issues:237

bevy_xpbd

2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.

Language:RustLicense:Apache-2.0Stargazers:983Issues:12Issues:129

rrpl

Describing Chinese Characters with Recursive Radical Packing Language (RRPL)

Language:JavaScriptLicense:MITStargazers:849Issues:26Issues:11

hash-wasm

Lightning fast hash functions using hand-tuned WebAssembly binaries

Language:TypeScriptLicense:NOASSERTIONStargazers:679Issues:11Issues:47

pg_embedding

Hierarchical Navigable Small World (HNSW) algorithm for vector similarity search in PostgreSQL

Language:CLicense:Apache-2.0Stargazers:540Issues:5Issues:25

reghex

The magical sticky regex-based parser generator 🧙

Language:JavaScriptLicense:MITStargazers:293Issues:7Issues:12

css-media-vars

A brand new way to write responsive CSS. Named breakpoints, DRY selectors, no scripts, no builds, vanilla CSS.

Language:CSSLicense:BSD-2-ClauseStargazers:287Issues:8Issues:4

cio

Rust libraries for APIs needed by our automated CIO.

Language:RustLicense:Apache-2.0Stargazers:260Issues:24Issues:65

x9

high performance message passing library

Language:CLicense:BSD-2-ClauseStargazers:251Issues:9Issues:6

Jerrica

Jerrica is a small, bare bones, 100% scheduled, web audio native, MOD player designed to be embedded in Javascript games

Language:JavaScriptLicense:CC0-1.0Stargazers:204Issues:2Issues:2

nixos-router

A NixOS router framework

Language:NixLicense:MITStargazers:194Issues:4Issues:1

cefdebug

Minimal code to connect to a CEF debugger.

Language:CLicense:Apache-2.0Stargazers:191Issues:7Issues:3

harmonia

Nix binary cache implemented in rust using libnix-store (maintainer: @Mic92)

Language:RustLicense:MITStargazers:114Issues:5Issues:12

timeline-old

Collects personal data from different sources, displays it as a daily diary.

notebook

On programming, Portuguese taxes, Polish language and other cool stuff.

ray

Formalizing results about the Mandelbrot set in Lean

Language:LeanLicense:Apache-2.0Stargazers:17Issues:4Issues:0

css-conways-game-of-life

100% CSS + HTML implementation of Conway's Game of Life. 60 generation simulation @ 20x20

Language:CSSLicense:BSD-2-ClauseStargazers:16Issues:3Issues:2

cookied

PostgreSQL-backed authentication for SvelteKit applications

Language:TypeScriptStargazers:1Issues:0Issues:0