qlonik Goto Github PK
Name: Nikita Volodin
Type: User
Bio: Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo
Twitter: qlonik
Name: Nikita Volodin
Type: User
Bio: Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo
Twitter: qlonik
Actionsflow action for github
Forward webhook to github repository_dispatch event
Agda is a dependently typed programming language / interactive theorem prover.
Ansible role for installing k3s as either a standalone server or HA cluster.
Masters project
testing repo
ComputerCraft minecraft scripts
A GitHub Action for creating a new issue from a template file.
Washing machine project for CS 241
Homework from CS332 course at UPEI
Homework from CS352 course at UPEI
CS392 Numerical Analysis homework
Homework from CS411 course at UPEI
my dockerfiles
Documentation for the PureScript language, compiler, and tools.
Cloud-native high-performance edge/middle/service proxy
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
Tracks games available on Humble Trove
IntelliJ plugin support PeggyJS parser language
Homework for CS261 UPEI course
A CoreDNS plugin to resolve all types of external Kubernetes resources
Going through lambda calculus chapter of TaPL
Material-UI is a simple and customizable component library to build faster, beautiful, and more accessible React applications. Follow your own design system, or start with Material Design.
Mining machine written for computer craft in minecraft
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.