lorin / alb-alloyLinks
Modeling AWS application load balancers using Alloy
☆13Updated 3 years ago
Alternatives and similar repositories for alb-alloy
Users that are interested in alb-alloy are comparing it to the libraries listed below
Sorting:
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- enumerative property-based testing for Haskell☆52Updated 4 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 6 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆123Updated 3 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- 🎏 Haskell implementation of Jsonnet☆24Updated 2 weeks ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Updated 5 years ago
- Miller/pattern unification in Agda☆66Updated last month
- ☆62Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Logic for story telling!☆36Updated 7 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 10 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Library classes for the Twelf Proof System☆24Updated 5 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 9 months ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 8 years ago
- Prototypes: Object Orientation, Functionally☆47Updated this week
- Collection of ATS goodness☆34Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 8 months ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34Updated 8 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- ☆38Updated 6 years ago