tidues's repositories
MyPythonPrelude
preload tools for easy coding
stopwatch
A simple stopwatch to time your python code
yabai
A tiling window manager for macOS based on binary space partitioning
WhichSpace
🖥 Active space menu bar icon for macOS 10.11+
Intro-to-Linux-Server
Material for the UB INFORMS workshop "intro to linux server"
xmonad-contrib
Contributed modules for xmonad
outdatedrandomdist
The 2nd version of distance distribution calculator
xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
DistDistribution
Package for calculating and visualizing statistics for the distance between two random events on a network
DistCalculatorForRandEvents
Package for calculating and visualizing statistics for the distance between two random events on a network
CoqForGroupTheory
Proved a group theory result with coq
AgdaProofsForAbstractAlgebra
Proofs for MTH 519 Abstract Algebra
MyHaskellPrelude
preload tools for easy coding
DataCombiner
Read files from a folder then combine different data into different files
Indexable
A subsetting and slicing tool for nested mixed containers with arbitrary dimension in Haskell
Einstein_Puzzle
Prove Einstein's puzzle by coq, and prolog.
GeneralizedMapFunction
An generalized version of map function in python, can lift basic function over various data structures.