ztlpn

Alexey Zatelepin's repositories

minilp

A pure Rust linear programming solver

Language:RustApache-2.076 4 5

minitokio

A toy multithreaded tokio-like runtime capable of executing async-await futures

Language:Rust1 10

3pi_hacks

3pi robot hacks

Language:C010

ClickHouse

ClickHouse is a free analytic DBMS for big data.

Language:C++NOASSERTION020

gollum-lib

A simple, Git-powered wiki with a sweet API.

Language:RubyMIT010

irmin

Irmin is a distributed database that follows the same design principles as Git

Language:OCaml010

kgo-verifier

Test utility based on franz-go, for consistency checking of Redpanda reads vs. writes

Language:Go000

learn-nbio

Various ways of writing a http server in rust

Language:Rust010

loom

Concurrency permutation testing tool for Rust.

Language:RustMIT000

netmsg

A toy messaging layer on top of tcp

Language:Rust010

piet-gpu

An experimental GPU compute-centric 2D renderer.

Language:RustApache-2.0000

redpanda

Redpanda is the real-time engine for modern apps. Kafka API Compatible; 10x faster 🚀 See more at vectorized.io/redpanda

Language:C++000

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION000

rust-analyzer

An experimental Rust compiler front-end for IDEs

Language:RustApache-2.0000

rust-tcp

A learning experience in implementing TCP in Rust

Language:Rust000

seastar

High performance server-side application framework

Language:C++Apache-2.0000

sprs

sparse linear algebra library for rust

Language:RustApache-2.0000

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaMIT000

vscode-tree-sitter

Accurate syntax coloring for VSCode using tree-sitter

Language:TypeScriptMIT000

wireshark-plugins

My custom wireshark plugins

Language:LuaApache-2.0010

zlib-ng

zlib for the "next generation" systems. Drop-In replacement with some serious optimizations.

Language:CZlib000