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