Pinned Repositories
10_Minutes_CS
A computer science topic explained in 10 minutes
BigFiveProfile
A small testing repo for Spring Boot
BLT
Boogie-less-triggers
boogie
Boogie
boogie-docs
Documentation for the Boogie IVL and related technologies
boogie-friends
Tools for interacting with Boogie
BoogieCollection
a collection of Boogie benchmarks
mu-gie
same old Boogie with a mutating twist
PythonScripts
a small python-based parser/reader for Abaqus inp files
PYWA
A Python-based toolbox for WAMIT models
emptylambda's Repositories
emptylambda/PythonScripts
a small python-based parser/reader for Abaqus inp files
emptylambda/BLT
Boogie-less-triggers
emptylambda/BoogieCollection
a collection of Boogie benchmarks
emptylambda/mu-gie
same old Boogie with a mutating twist
emptylambda/PYWA
A Python-based toolbox for WAMIT models
emptylambda/BigFiveProfile
A small testing repo for Spring Boot
emptylambda/boogie
Boogie
emptylambda/chc-comp18-benchmarks
Benchmarks fo CHC-COMP 2018
emptylambda/CHC-Comp19
benchmark from chc-comp19
emptylambda/cloud-run-hackathon-python
emptylambda/dafny
Dafny is a verification-aware programming language
emptylambda/docker-stacks
Ready-to-run Docker images containing Jupyter applications
emptylambda/jeff-emacs
my emacs settings
emptylambda/KeYSymposium2018
KeY Symposium 2018 @Goteborg
emptylambda/Links
collection of practical links from the web
emptylambda/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
emptylambda/MajorTom
ground control to Major Tom the Spacer :)
emptylambda/moogie
emptylambda/nbconvert
Jupyter Notebook Conversion
emptylambda/nextJS_sandbox
emptylambda/plutus-scripts
Helper Scripts For Cardano Plutus
emptylambda/RobustIVL
emptylambda/scripts
Scripts used in CHC-COMP
emptylambda/ShiftIt
Managing windows size and position in OSX
emptylambda/smack
SMACK Software Verifier and Verification Toolchain
emptylambda/Talks
talks across all battle fronts!
emptylambda/Tutorials
Collection of tutorials
emptylambda/unit-test-example
Unit test example for Haskell
emptylambda/vampire
The Vampire Theorem Prover
emptylambda/vimari
Safari port of vimium