vovunku Goto Github PK

1c-initiation-trial

Вступительное испытание на кафедру 1С, 14 апреля 2021.

3d-graphics-project

aeneas

A verification toolchain for Rust programs

api

Promise and RxJS APIs around Polkadot and Substrate based chains via RPC calls. It is dynamically generated based on what the Substrate runtime provides in terms of metadata.

charon

Interface with the rustc compiler for the purpose of program verification

dream

DeepPavlov Dream is a free, open-source Multiskill AI Assistant built using DeepPavlov Conversational AI Stack. It is built on top of DeepPavlov Agent running as container in Docker. It runs on x86_64 machines, and prefers having NVIDIA GPUs on the machine.

fpv2023

Lecture notes, exercises, homeworks for Brown CS1951x 2023

iheap

Library with heap data structure. Binomial, leftist, and oblique heaps implemented.

licensed-app

licensed-app-sismo

matrix

Matrix with rational and finite numbers

mazerunners

Console version of the game Labyrinth (paper-and-pencil game).

naivejavainterpreter

Compilers course initiation trial

nevernote

Task manager server with possibility of exporting/importing your current task.

paysplit

Split payments between employees and employers on Safe{Protocol} accounts

pdkator

Tool for converting nondeterministic finite automaton with one letter transitions and without epsilon edges

polkadotindexer

Studying SubQuery

resume

subql-dictionary

A subquery project provide dictionary data & service for a substrate-based network

subquery-common-api-polkadot-transactions

A common SubQuery API for providing key transactional data from various Polkadot and Kusama parachains

substrate-connect

Run Wasm Light Clients of any Substrate based chain directly in your browser.

swearingbot

chat bot for humiliation

uplc-arithmetization

Witness Generation Tool prototype for zkWrapper

verification_project

your-game