hbasold

Pinned Repositories

agda-stdlib
The Agda standard library
Language:Agda0 2 00
AlgTheoryHIT
Free algebraic theories as HITs
Language:TeX0 4 00
Audio
Teensy Audio Library
Language:C++0 1 00
CoindDepTypes
Language:Agda2 2 01
folproof-rondo
A Javascript First-Order Logic (FOL) proof verifier
Language:JavaScript11
LAMA
Intermediate language for verification of SCADE programs (including translation)
Language:Haskell6 3 13

hbasold's Repositories

hbasold/LAMA
Intermediate language for verification of SCADE programs (including translation)
Language:Haskell6 3 13
hbasold/CoindDepTypes
Language:Agda2 2 01
hbasold/folproof-rondo
A Javascript First-Order Logic (FOL) proof verifier
Language:JavaScript11
hbasold/agda-stdlib
The Agda standard library
Language:Agda0 2 00
hbasold/AlgTheoryHIT
Free algebraic theories as HITs
Language:TeX0 4 00
hbasold/Audio
Teensy Audio Library
Language:C++0 1 00
hbasold/categories
Categories parametrized by morphism equality, in Agda
00
hbasold/Dyn-Flows-Seminar
0 2 00
hbasold/erc-latex-template
LaTeX template for ERC proposals
Language:TeX0 0
hbasold/erc_template
ERC Starting Grant template (2016)
hbasold/gtl-trace
Language:Haskell2 0
hbasold/H2020-MSCA-IF-20XY
LaTeX template for Marie Sklodowska-Curie Individual Fellowships application (H2020-MSCA-IF-20XY)
Language:TeX
hbasold/Krypto-Prakt
Language:Java2 0
hbasold/liacs-theory
hbasold/netkat
The NetKAT Framework
Language:OCaml0 01
hbasold/Notes
Language:TeX
hbasold/ObservationalEquiv
Language:Agda2 0
hbasold/OpenLogic
An open-source, customizable intermediate logic textbook
hbasold/RDB-Praktikum
Language:Java
hbasold/RecLogic
Language:Haskell
hbasold/Sandbox
Language:Agda