Pinned Repositories
apportionment
Quick C# program to run US congressional apportionment
asciiShapes
Haskell program to draw functionally-constructed ASCII art
aviation-site
DNDTime
Android app to provide time information and screen color changes for DND
docker-android
Android Docker Image for React Native and common android development.
mikekben.github.io
Personal research website
SLOT
SLOT: SMT-LLVM Optimizing Translation
STAUB
STAUB: SMT Theory Arbitrage, from Unbounded to Bounded
tree-game
C# project to solve puzzles in https://play.google.com/store/apps/details?id=com.andreasabbatini.parksseasons
TripleIntersectionNumbers
mikekben's Repositories
mikekben/SLOT
SLOT: SMT-LLVM Optimizing Translation
mikekben/STAUB
STAUB: SMT Theory Arbitrage, from Unbounded to Bounded
mikekben/apportionment
Quick C# program to run US congressional apportionment
mikekben/asciiShapes
Haskell program to draw functionally-constructed ASCII art
mikekben/aviation-site
mikekben/DNDTime
Android app to provide time information and screen color changes for DND
mikekben/docker-android
Android Docker Image for React Native and common android development.
mikekben/mikekben.github.io
Personal research website
mikekben/tree-game
C# project to solve puzzles in https://play.google.com/store/apps/details?id=com.andreasabbatini.parksseasons
mikekben/TripleIntersectionNumbers