Jonas Böttiger (joboet)

joboet

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

Jonas Böttiger's starred repositories

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:34343Issues:187Issues:1898

DreamBerd

perfect programming language

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Language:RustLicense:Apache-2.0Stargazers:7307Issues:92Issues:408

qoi

The “Quite OK Image Format” for fast, lossless image compression

sodium-fabric

A Minecraft mod designed to improve frame rates and reduce micro-stutter

Language:JavaLicense:NOASSERTIONStargazers:4754Issues:86Issues:2262

wuffs

Wrangling Untrusted File Formats Safely

Language:CLicense:NOASSERTIONStargazers:4163Issues:83Issues:89

rkyv

Zero-copy deserialization framework for Rust

Language:RustLicense:MITStargazers:2868Issues:20Issues:402

hora

🚀 efficient approximate nearest neighbor search algorithm collections library written in Rust 🦀 .

Language:RustLicense:Apache-2.0Stargazers:2586Issues:50Issues:30

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1898Issues:31Issues:138

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Language:RustLicense:MITStargazers:1890Issues:15Issues:74

rust-quiz

Medium to hard Rust questions with explanations

Language:RustLicense:CC-BY-SA-4.0Stargazers:1684Issues:33Issues:34

sectorc

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Language:CLicense:CC0-1.0Stargazers:1620Issues:19Issues:9

glidesort

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

kernel

A Rust-based, lightweight unikernel.

Language:RustLicense:Apache-2.0Stargazers:1164Issues:13Issues:204

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:1118Issues:29Issues:298

brutal

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

Azayaka

A small macOS menu bar-residing screen and system audio recorder which uses the ScreenCaptureKit API introduced in Ventura

musli

Müsli is a flexible and generic binary serialization framework

Language:RustLicense:NOASSERTIONStargazers:352Issues:5Issues:23

usync

Small, fast, synchronization primitives

Language:RustLicense:MITStargazers:239Issues:6Issues:5

klonk

A text editor with an sort-of-unusual undo/redo algorithm

Language:JavaLicense:NOASSERTIONStargazers:218Issues:4Issues:1

spec

The Rust specification

widestring-rs

A wide string Rust library for converting to and from wide-character strings, including UTF-16 and UTF-32 encoding.

Language:RustLicense:NOASSERTIONStargazers:81Issues:5Issues:27

mindsweeper

A principled take on minesweeper

Language:RustLicense:GPL-3.0Stargazers:67Issues:1Issues:5

toml-cfg

A procedural macro for configuring constant values across crates

Language:RustLicense:Apache-2.0Stargazers:56Issues:3Issues:4

polonius.next

experimental datalog rules for a next gen polonius

Language:RustLicense:MITStargazers:19Issues:16Issues:1

openschafkopf

Open Source Schafkopf

Language:RustLicense:MITStargazers:17Issues:1Issues:1
Language:RustLicense:MITStargazers:5Issues:2Issues:0