Giters
Ivan Boldyrev (monoid)

monoid

Geek Repo

29

followers

33

following

125

stars

Company:Fluence Labs

Location:Barcelona, Spain

Github PK Tool:Github PK Tool

Ivan Boldyrev's starred repositories

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:84398Issues:3108Issues:237

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Language:RustLicense:ISCStargazers:41556Issues:183Issues:2152

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Language:RustLicense:NOASSERTIONStargazers:26898Issues:151Issues:7579

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:18692Issues:238Issues:4360

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10057Issues:97Issues:158

reqwest

An easy and powerful Rust HTTP Client

Language:RustLicense:Apache-2.0Stargazers:9283Issues:74Issues:1268

magit

It's Magit! A Git Porcelain inside Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:6407Issues:150Issues:2991

use-package

A use-package declaration for simplifying your .emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:4374Issues:93Issues:729

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustLicense:Apache-2.0Stargazers:4217Issues:29Issues:492

linux

Adding support for the Rust language to the Linux kernel.

Language:CLicense:NOASSERTIONStargazers:3818Issues:122Issues:301

minikeyvalue

A distributed key value store in under 1000 lines. Used in production at comma.ai

Language:GoLicense:MITStargazers:2887Issues:65Issues:12

tlaplus

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

Language:JavaLicense:MITStargazers:2233Issues:54Issues:761

vega

A new arguably faster implementation of Apache Spark from scratch in Rust

Language:RustLicense:Apache-2.0Stargazers:2228Issues:117Issues:65

zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Language:RustLicense:MITStargazers:1602Issues:40Issues:69

im-rs

Assorted immutable collection datatypes for Rust

Language:RustLicense:MPL-2.0Stargazers:1463Issues:27Issues:117

rpds

Rust persistent data structures

Language:RustLicense:MPL-2.0Stargazers:1140Issues:23Issues:59

io-uring

The `io_uring` library for Rust

Language:RustLicense:Apache-2.0Stargazers:1100Issues:39Issues:116

color-eyre

Custom hooks for colorful human oriented error reports via panics and the eyre crate

Language:RustLicense:NOASSERTIONStargazers:935Issues:8Issues:72

diff-hl

Emacs package for highlighting uncommitted changes

Language:Emacs LispLicense:GPL-3.0Stargazers:879Issues:21Issues:153

little-raft

The lightest distributed consensus library. Run your own replicated state machine! ❤️

Language:RustLicense:MITStargazers:406Issues:9Issues:16

rust-starter

Rust Starter Project

Language:RustLicense:MITStargazers:399Issues:10Issues:22

specification

Ferrocene Language Specification

Language:PythonStargazers:386Issues:21Issues:204

embedding_studio

Embedding Studio is a framework which allows you transform your Vector Database into a feature-rich Search Engine.

Language:PythonLicense:Apache-2.0Stargazers:368Issues:6Issues:6

mdbook-epub

An experimental mdbook backend for creating EPUB documents.

Language:RustLicense:MPL-2.0Stargazers:341Issues:13Issues:52

stakker

A lightweight low-level single-threaded actor runtime

Language:RustLicense:Apache-2.0Stargazers:158Issues:8Issues:21

nachricht

A self-describing data interchange format

Language:RustLicense:MITStargazers:75Issues:2Issues:2

zen-mode

zen-mode : distraction free editing mode for emacs

Language:Emacs LispLicense:GPL-2.0Stargazers:67Issues:3Issues:2

apg

Automated Password Generator

Language:CLicense:BSD-3-ClauseStargazers:37Issues:6Issues:3

spain-taxes-info

spain-taxes.info

Language:JavaScriptStargazers:11Issues:0Issues:0

slides

Slides from various Fluence talks

Stargazers:3Issues:6Issues:0