Giters
v-kat

v-kat

Geek Repo

1

followers

1

following

32

stars

Github PK Tool:Github PK Tool

v-kat's starred repositories

sozu

Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

Language:RustLicense:AGPL-3.0Stargazers:2949Issues:0Issues:0

sickle_ui

A widget library built on top of bevy_ui.

Language:RustLicense:Apache-2.0Stargazers:221Issues:0Issues:0

reladiff

High-performance diffing of large datasets across databases

Language:PythonLicense:NOASSERTIONStargazers:271Issues:0Issues:0

nixbsd

An unofficial NixOS fork with a FreeBSD kernel

Language:NixLicense:MITStargazers:381Issues:0Issues:0

flecs

A fast entity component system (ECS) for C & C++

Language:CLicense:MITStargazers:5990Issues:0Issues:0

sokol

minimal cross-platform standalone C headers

Language:CLicense:ZlibStargazers:6624Issues:0Issues:0

fenris

A library for advanced finite element computations in Rust

Language:RustLicense:Apache-2.0Stargazers:115Issues:0Issues:0

hexx

Hexagonal tools lib in rust

Language:RustLicense:Apache-2.0Stargazers:276Issues:0Issues:0

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Language:RustLicense:MITStargazers:11424Issues:0Issues:0

helix-gpui

helix gpui frontend

Language:RustLicense:MPL-2.0Stargazers:437Issues:0Issues:0

aeneas

A verification toolchain for Rust programs

Language:OCamlLicense:Apache-2.0Stargazers:167Issues:0Issues:0

llama3-from-scratch

llama3 implementation one matrix multiplication at a time

Language:Jupyter NotebookLicense:MITStargazers:11367Issues:0Issues:0

coq-of-ocaml

Formal verification for OCaml

Language:OCamlLicense:MITStargazers:247Issues:0Issues:0

limbo

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Language:RustLicense:MITStargazers:632Issues:0Issues:0

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:1089Issues:0Issues:0

no-panic

Attribute macro to require that the compiler prove a function can't ever panic

Language:RustLicense:Apache-2.0Stargazers:971Issues:0Issues:0

starcoder2-self-align

StarCoder2-Instruct: Fully Transparent and Permissive Self-Alignment for Code Generation

Language:PythonLicense:Apache-2.0Stargazers:212Issues:0Issues:0

thunderdome

Arena type inspired by generational-arena

Language:RustLicense:Apache-2.0Stargazers:196Issues:0Issues:0

monoio

Rust async runtime based on io-uring.

Language:RustLicense:Apache-2.0Stargazers:3766Issues:0Issues:0

big-brain

Utility AI library for the Bevy game engine

Language:RustLicense:NOASSERTIONStargazers:972Issues:0Issues:0

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:99Issues:0Issues:0

grok

Language:PythonLicense:MITStargazers:4062Issues:0Issues:0

eio

Effects-based direct-style IO for multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:530Issues:0Issues:0

aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Language:CoqLicense:Apache-2.0Stargazers:27Issues:0Issues:0

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:20520Issues:0Issues:0

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1081Issues:0Issues:0

wonder12

Language:RustStargazers:2Issues:0Issues:0

screen-13

Screen 13 is an easy-to-use Vulkan rendering engine in the spirit of QBasic.

Language:RustLicense:Apache-2.0Stargazers:248Issues:0Issues:0

services-flake

NixOS-like services for Nix flakes

Language:NixLicense:MITStargazers:302Issues:0Issues:0

NixThePlanet

Run macOS, Windows and more via a single Nix command, or simple nixosModules

Language:NixLicense:MITStargazers:517Issues:0Issues:0