Ivan (i1i1)

i1i1

Geek Repo

Company:@pontem-network

Location:Innopolis

Github PK Tool:Github PK Tool


Organizations
AMPLab-ru

Ivan's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

awesome-rust

A curated list of Rust code and resources.

Language:RustLicense:CC0-1.0Stargazers:46535Issues:815Issues:135

HarmonyOS

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

Language:CStargazers:19338Issues:973Issues:0

lvgl

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

bocker

Docker implemented in around 100 lines of bash

Language:ShellLicense:GPL-3.0Stargazers:11280Issues:272Issues:15

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

monoio

Rust async runtime based on io-uring.

Language:RustLicense:Apache-2.0Stargazers:3924Issues:51Issues:95

keyboard

⌨ Toward a more useful keyboard

Language:LuaLicense:MITStargazers:2086Issues:53Issues:43

wcc

The Witchcraft Compiler Collection

Language:CLicense:NOASSERTIONStargazers:1844Issues:81Issues:20

vpncloud

Peer-to-peer VPN

Language:RustLicense:NOASSERTIONStargazers:1806Issues:46Issues:99

disko

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]

Language:NixLicense:MITStargazers:1781Issues:16Issues:260

aviary.sh

Minimal distributed configuration management in bash

Language:ShellLicense:MITStargazers:1309Issues:25Issues:13

simd-json

Rust port of simdjson

Language:RustLicense:Apache-2.0Stargazers:1137Issues:18Issues:153

creusot

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

Language:RustLicense:LGPL-2.1Stargazers:1133Issues:21Issues:363

enigma

An Erlang VM implementation in Rust

Language:RustLicense:MPL-2.0Stargazers:1050Issues:56Issues:28

darling

A Rust proc-macro attribute parser

Language:RustLicense:MITStargazers:1007Issues:8Issues:171

ling

Erlang on Xen

Language:CLicense:NOASSERTIONStargazers:799Issues:73Issues:105

rvc

A 32-bit RISC-V emulator in a shader (and C)

Language:MakefileLicense:MITStargazers:741Issues:11Issues:5

nix-bundle

Bundle Nix derivations to run anywhere!

Language:NixLicense:MITStargazers:641Issues:28Issues:74

QuantumComputing

This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite me if you end up using this academically.

Language:PythonLicense:GPL-3.0Stargazers:587Issues:77Issues:10

tvix

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

Language:RustLicense:GPL-3.0Stargazers:528Issues:17Issues:0

cargo-spellcheck

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

Language:RustLicense:Apache-2.0Stargazers:321Issues:5Issues:161

debug

Debugging like a sir (in C)

awk-jvm

a toy jvm in awk

Language:AwkLicense:MITStargazers:165Issues:4Issues:4

pangu

Toolkit to detect/crash/attack GNU debugging-related tools

Language:CStargazers:152Issues:14Issues:0

nixos-rk3588

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

Language:NixLicense:MITStargazers:138Issues:9Issues:27

tensorrt-rs

Rust library for running TensorRT accelerated deep learning models

biproductive

Find habits that genuinely increase your productivity

Language:PythonLicense:MITStargazers:43Issues:1Issues:19

awesome-astrophysics

Ресурсы по космосу