lorin / alb-alloy
Modeling AWS application load balancers using Alloy
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for alb-alloy
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 5 years ago
- QuickCheck extras.☆29Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated last month
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Formalizing nbe in agda☆30Updated 11 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- Constructive Galois connections☆32Updated 6 years ago
- ☆10Updated 5 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- MixML prototype interpreter☆27Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 7 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- Constraint Handling Rules☆15Updated last month
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- The Evolution of a Typechecker☆52Updated 5 years ago