durbatuluk1701 Goto Github PK

801-static-analysis

Collection of projects done for the static analysis class 801

algobacktester

attestation-survey

This is a literature survey paper on attestation, as well as attempting to establish a taxonomy for attestation classification.

battleship

Battleship Project for EECS 448

better-comments

cakeml_tools

A set of tools that I have found useful when developing in CakeML

chessboard

content

The content behind MDN Web Docs

copland-avm

Copland Attestation Virtual Machine definition and tools

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

coq-tactics

Collection of Ltac and proving methodologies to create a simpler and more unified proving experience

dnd-helper

A server to help run a Dungeons and Dragons campaign. Simplifying lots of features

dnf-sat

dotfiles

My config files

durbatuluk1701.github.io

My GitHub Page

eecs-448-chat-room

Project 3 and 4 for EECS 448

eecs448_project1

Project 1 Repository for EECS 448 - Software Engineering

eecs_448_project_3

flashcardapp

freecodecamp

freeCodeCamp.org's open source codebase and curriculum. Learn to code at home.

git-crawler

gitex

This is a mutex protocol for Git files. This is to help when files are very hard to merge, so allowing multiple people to edit the same file at the same time is prevented.

invadersfromspace

kanban

Mini-KanBan Board

key-learner

keybr.com

The smartest way to learn touch typing and improve your typing speed.

ku-class-scraper

Used for scraping KU class info and also storing old class info

kusites

Sites hosted on the KU EECS file server

lawrence-math-circle

learnmath

LaTeX files for learning and proving math concepts