unitb repositories

55 repositories

lean-lib
Public
dependent-types verification lean
dependent-types verification lean formal-proofs
Lean
•0•5•0•0•Updated Oct 16, 2019Oct 16, 2019
serialize-instances
Public
Haskell
•
MIT License
•1•1•0•0•Updated Apr 17, 2019Apr 17, 2019
temporal-logic
Public
verification lean temporal-logic
verification lean temporal-logic formal-methods formal-proofs
Lean
•3•11•0•0•Updated Jan 10, 2019Jan 10, 2019
separation-logic
Public
Lean
•1•8•0•0•Updated Aug 23, 2018Aug 23, 2018
lean-tlc
Public
Lean
•0•0•0•0•Updated Jul 1, 2018Jul 1, 2018
lean-lens
Public
Lean
•0•0•0•0•Updated May 4, 2018May 4, 2018
hs-to-coq
Public
Convert Haskell source code to Coq source code
Coq
•
MIT License
•26•0•0•0•Updated Apr 3, 2018Apr 3, 2018
reactive-pipes
Public
Haskell
•
MIT License
•0•1•0•0•Updated Apr 1, 2018Apr 1, 2018
lean-profiling
Public
Haskell
•0•0•0•0•Updated Mar 27, 2018Mar 27, 2018
lean-tutorials
Public
Lean
•0•0•0•0•Updated Mar 14, 2018Mar 14, 2018
unitb-semantics
Public
Proof of soundness of the Unit-B refinement calculus
theorem-proving verification unitb
theorem-proving verification unitb
Lean
•1•3•0•0•Updated Jan 25, 2018Jan 25, 2018
unitb-pointers
Public
Lean
•0•0•0•0•Updated Nov 22, 2017Nov 22, 2017
set_theory
Public
Lean
•0•0•0•0•Updated Nov 11, 2017Nov 11, 2017
literate-unitb-complete
Public
Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit
verification unitb
verification unitb
Haskell
•1•0•19•0•Updated Aug 24, 2017Aug 24, 2017
axiomatic-classes
Public
Specify axioms for type classes and quickCheck all available instances
quickcheck type-classes axiom
quickcheck type-classes axiom
Haskell
•
MIT License
•0•1•0•0•Updated Jul 13, 2017Jul 13, 2017
reactive-banana-transformers
Public
Haskell
•
MIT License
•0•0•0•0•Updated Jul 11, 2017Jul 11, 2017
function-tables
Public
Haskell
•0•0•0•0•Updated Jul 10, 2017Jul 10, 2017
type-map
Public
Haskell
•
MIT License
•0•0•0•0•Updated Jul 10, 2017Jul 10, 2017
unitb.github.io
Public
Unit-B web site
0•0•0•0•Updated Jul 2, 2017Jul 2, 2017
literate-unitb-logic
Public
verification theorem-prover unitb
verification theorem-prover unitb
Haskell
•
MIT License
•0•1•0•0•Updated Jun 25, 2017Jun 25, 2017
pretty-printable
Public
Haskell
•
MIT License
•0•0•0•0•Updated Jun 25, 2017Jun 25, 2017
unitb-testing
Public
Haskell
•
MIT License
•0•0•0•0•Updated Jun 25, 2017Jun 25, 2017
literate-unitb
Public
[INACTIVE] Development continued in literate-unitb-complete
verification unitb
verification unitb
Haskell
•
MIT License
•0•2•0•0•Updated Jun 25, 2017Jun 25, 2017
literate-unitb-utils
Public
unitb
unitb
Haskell
•
MIT License
•0•0•0•0•Updated Apr 17, 2017Apr 17, 2017
literate-unitb-scripts
Public
unitb
unitb
Haskell
•
Other
•0•0•0•0•Updated Apr 17, 2017Apr 17, 2017
stack-git-hashes
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Apr 17, 2017Apr 17, 2017
literate-unitb-latex
Public
unitb
unitb
Haskell
•
MIT License
•0•0•0•0•Updated Apr 17, 2017Apr 17, 2017
partial-order
Public
partial-orders
partial-orders
Haskell
•
MIT License
•0•0•0•0•Updated Apr 17, 2017Apr 17, 2017
portable-template-haskell-lens
Public
Haskell
•
MIT License
•0•1•0•0•Updated Apr 17, 2017Apr 17, 2017
quickcheck-report
Public
Haskell
•
MIT License
•0•1•0•0•Updated Apr 17, 2017Apr 17, 2017

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

Unit-B

All

55 repositories

lean-lib

serialize-instances

temporal-logic

separation-logic

lean-tlc

lean-lens

hs-to-coq

reactive-pipes

lean-profiling

lean-tutorials

unitb-semantics

unitb-pointers

set_theory

literate-unitb-complete

axiomatic-classes

reactive-banana-transformers

function-tables

type-map

unitb.github.io

literate-unitb-logic

pretty-printable

unitb-testing

literate-unitb

literate-unitb-utils

literate-unitb-scripts

stack-git-hashes

literate-unitb-latex

partial-order

portable-template-haskell-lens

quickcheck-report

Repositories list

55 repositories