Pinned Repositories
bioSyntax
Syntax highlighting for computational biology
CICSA-Ranking-Platform
Online Ranking Platform for Sailing Events for Canadian Intercollegiate Sailing Association (CICSA)
damn-vulnerable-defi
docsify-pdf-embed
A simple plugin for embedding PDF in Docsify.
dot-latex
Latex styling. A submodule of dotfiles.
Earthquake-Detector
An earthquake detector designed for a competition.
physical-presence-days
Counting number of days you are in Canada (for citizenship purpose)
Problem-Collection
A collection of solution for different problems.
halo2-analyzer
SMT 2023 Submission; license pending
cmake-inspector
lazypanda10117's Repositories
lazypanda10117/docsify-pdf-embed
A simple plugin for embedding PDF in Docsify.
lazypanda10117/CICSA-Ranking-Platform
Online Ranking Platform for Sailing Events for Canadian Intercollegiate Sailing Association (CICSA)
lazypanda10117/physical-presence-days
Counting number of days you are in Canada (for citizenship purpose)
lazypanda10117/Problem-Collection
A collection of solution for different problems.
lazypanda10117/damn-vulnerable-defi
lazypanda10117/dot-latex
Latex styling. A submodule of dotfiles.
lazypanda10117/Earthquake-Detector
An earthquake detector designed for a competition.
lazypanda10117/ethernaut-soln
Solutions for ethernaut.
lazypanda10117/koup-api
API for Koup (Replica of boardgame Coup) using GraphQL and Flask
lazypanda10117/ROV-Central-Repository
The central repository for underwater remotely operated vehicles (ROV) created between 2015-2017.
lazypanda10117/scheduler
Automatic Class Scheduler using Genetic Algorithm, updated from Version 1. It now includes schedule impossibility failure check to prevent program from crashing, and supports reading data from excel and outputting data to excel for ease of analysis.
lazypanda10117/sdk-tutorials
Tutorials for building modules for the Cosmos SDK
lazypanda10117/stark101
lazypanda10117/ZK-Learning-Repo
Learning ZK from https://zkiap.com