Nikita Volodin
qlonik
Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo
Languages
Repos
46
Stars
6
Forks
2
Top Language
TypeScript
Loading contributions...
Top Repositories
Washing machine project for CS 241
Script to automatically add torrents from folder to download to current folder
Ansible role for installing k3s as either a standalone server or HA cluster.
Repositories
46No description provided.
Ansible role for installing k3s as either a standalone server or HA cluster.
No description provided.
No description provided.
Latex template project
Nix Packages collection
A GitHub Action for creating a new issue from a template file.
Actionsflow action for github
Cloud-native high-performance edge/middle/service proxy
Forward webhook to github repository_dispatch event
No description provided.
No description provided.
No description provided.
my dockerfiles
Bug report for pnpm/pnpm#1449
Homework from CS352 course at UPEI
CS392 Numerical Analysis homework
Homework from CS411 course at UPEI
Homework from CS332 course at UPEI
No description provided.
Script to automatically add torrents from folder to download to current folder
Examples using the wams.js client and server libraries
No description provided.
A javascript library for creating multi-surface environments.
Washing machine project for CS 241
No description provided.
ComputerCraft minecraft program to manage portal
ComputerCraft minecraft scripts
Mining machine written for computer craft in minecraft
Homework for CS261 UPEI course