tidues Goto Github PK

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

distcalculatorforrandevents

Package for calculating and visualizing statistics for the distance between two random events on a network

distdistribution

Package for calculating and visualizing statistics for the distance between two random events on a network

divingstone

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.

heterogenous-list-in-coq

hitthedeck

indexable

A subsetting and slicing tool for nested mixed containers with arbitrary dimension in Haskell

intro-to-linux-server

Material for the UB INFORMS workshop "intro to linux server"

myhaskellprelude

preload tools for easy coding

mypythonprelude

preload tools for easy coding

outdatedrandomdist

The 2nd version of distance distribution calculator

randist

The python package for calculating and visualizing distance related statistics between two random events on a given network

stopwatch

A simple stopwatch to time your python code

tensoropt

An interface of Gurobi that supports all numpy array operations.

test001

whichspace

🖥 Active space menu bar icon for macOS 10.11+

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

xmonad-contrib

Contributed modules for xmonad

yabai

A tiling window manager for macOS based on binary space partitioning