qlonik

Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo

Pinned Repositories

ava
Node.js test runner that lets you develop with confidence 🚀
Language:JavaScript20.7k 226 1.7k1.4k
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript48.3k 646 8k30.1k
effect
An ecosystem of tools for building production-grade applications in TypeScript.
Language:TypeScript7.2k 26 602230
actionsflow-action
Actionsflow action for github
Language:TypeScript00
Apps-using-vulnerable-libs
Masters project
Language:TypeScript0 2 00
CS241-washing-machine
Washing machine project for CS 241
Language:Verilog2 3 00
intellij-peggy
IntelliJ plugin support PeggyJS parser language
Language:Kotlin1 3 10
musical-parakeet
Language:TypeScript2 4 30
torrent-adder
Script to automatically add torrents from folder to download to current folder
Language:Shell1 2 00

qlonik's Repositories

qlonik/musical-parakeet
Language:TypeScript2 4 30
qlonik/intellij-peggy
IntelliJ plugin support PeggyJS parser language
Language:Kotlin1 3 10
qlonik/actionsflow-action
Actionsflow action for github
Language:TypeScript00
qlonik/actionsflow-webhook2github
Forward webhook to github repository_dispatch event
Language:TypeScript00
qlonik/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 1 00
qlonik/Apps-using-vulnerable-libs
Masters project
Language:TypeScript0 2 00
qlonik/beepboop
testing repo
0 3 00
qlonik/ansible-role-k3s
Ansible role for installing k3s as either a standalone server or HA cluster.
qlonik/containers
Language:Shell1 3
qlonik/create-an-issue
A GitHub Action for creating a new issue from a template file.
Language:TypeScript1 0
qlonik/CS392
CS392 Numerical Analysis homework
Language:Mathematica2 0
qlonik/CS411
Homework from CS411 course at UPEI
Language:Java2 0
qlonik/dockerfiles
my dockerfiles
2 0
qlonik/documentation
Documentation for the PureScript language, compiler, and tools.
1 0
qlonik/effect-next-12.3-error
Language:CSS1 0
qlonik/envoy
Cloud-native high-performance edge/middle/service proxy
qlonik/flake-template
Language:Nix2 0
qlonik/hkt-new
Language:TypeScript1 0
qlonik/humble-trove-tracker
Tracks games available on Humble Trove
Language:TypeScript2 0
qlonik/k8s_gateway
A CoreDNS plugin to resolve all types of external Kubernetes resources
Language:Go1 0
qlonik/lambda-calc-test
Going through lambda calculus chapter of TaPL
Language:TypeScript2 0
qlonik/material-ui
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.
Language:JavaScript1 0
qlonik/nixpkgs
Nix Packages collection
Language:Nix1 0
qlonik/pnpm-npm-nyc-ava-test
Bug report for pnpm/pnpm#1449
Language:JavaScript2 0
qlonik/projects
Monorepo of different projects
Language:TypeScript2 0
qlonik/purescript-react-realworld
A real-world application demonstrating PureScript and React
Language:PureScript1 0
qlonik/qlonik.github.io
Language:TypeScript2 0
qlonik/React-Text-Truncate
Truncate multi-lines text for all browsers base on react.js
Language:JavaScript1 0
qlonik/std-nested-direnv-issue
Language:Nix2 0
qlonik/use-recursion-schemes
Language:JavaScript2 0