Giters
Kirill Ivanov (bragov4ik)

bragov4ik

Geek Repo

26

followers

35

following

64

stars

Location:Innopolis

Github PK Tool:Github PK Tool

Kirill Ivanov's starred repositories

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32270Issues:389Issues:591

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Language:HaskellStargazers:196Issues:8Issues:82

reed-solomon-erasure

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding

Language:RustLicense:MITStargazers:175Issues:5Issues:42

information-retrieval

Materials for Information Retrieval and Advanced Information Retrieval courses

Language:Jupyter NotebookStargazers:34Issues:5Issues:5

InnoBookCrossing

Team project within the course of Software System Design and Analysis.

Language:JavaScriptStargazers:33Issues:0Issues:0

Control-Theory-Slides-Spring-2021

Slides for Control Theory, Innopolis, 2021

Language:Jupyter NotebookStargazers:23Issues:3Issues:1

liberasurecode

A Rust wrapper for `openstack/liberasurecode`

Language:RustLicense:MITStargazers:21Issues:8Issues:4

Inno_Deadlines

Language:KotlinStargazers:18Issues:0Issues:0

hottbook

HoTT Book formalisations in Rzk.

Language:MarkdownStargazers:15Issues:6Issues:2

ecpool

A Rust crate that provides thread pool for managing executions of erasure coding

Language:RustLicense:MITStargazers:14Issues:7Issues:0

agilex_scout_mini

ROS-based SLAM and trajectory planning for AgileX Scout Mini Robot

Language:CMakeStargazers:14Issues:2Issues:0

SSD_DS4DS

Language:Jupyter NotebookStargazers:13Issues:0Issues:0

Colorful

A FIgma plugin to generate states for buttons

Language:JavaScriptStargazers:13Issues:1Issues:0

uwin

[WIP] portable win32 emulation layer; a rewrite of https://github.com/DCNick3/uwin-old/

Language:RustStargazers:7Issues:1Issues:25

labs

Stargazers:6Issues:0Issues:0

secufaku

This is a sample project needed for a security course to "connect web service to database".

Language:PythonStargazers:6Issues:1Issues:0

baam

baam: the new beginning

Language:RustStargazers:5Issues:2Issues:0

ifcount

Count number of ifs in your rust project!

Language:RustStargazers:5Issues:1Issues:0

telegram-bully-bot

Language:PythonStargazers:4Issues:2Issues:0

Rust_SC_Chat_Client

Server-client Rust-based chat application, client side.

Language:RustStargazers:3Issues:0Issues:0

randbuild

Language:KotlinLicense:CC0-1.0Stargazers:3Issues:1Issues:1

toqenizer

Language:RustLicense:MITStargazers:2Issues:0Issues:0

yacal

Yet Another Compiler Adjustment of Lisp - interpreter for toy functional language written within Compiler Construction (S22) course in IU.

Language:GoLicense:GPL-3.0Stargazers:2Issues:0Issues:0

historia

Automate all your history classes!

Language:RustStargazers:2Issues:1Issues:0

feedgerald

Language:DockerfileStargazers:1Issues:1Issues:0

ProgrammingParadigms

Language:HaskellStargazers:1Issues:2Issues:0

shari-bot

Easily share youtube & tiktok videos on telegram

Language:RustStargazers:1Issues:1Issues:1

Zlyden

Language:GoStargazers:1Issues:0Issues:0

rust-html-generator

Language:HTMLStargazers:1Issues:1Issues:0

test-rust-crate

this is test rust create that I need for my thesis work

Language:RustStargazers:1Issues:1Issues:0