cmeiklejohn / distributed-data-structures
Distributed Data Structures in Coq
☆49Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for distributed-data-structures
- ☆29Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- ☆18Updated 7 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- Distributed systems execution emulation☆18Updated 5 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- Semantics for Cryptol☆16Updated 6 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- A web server written in Coq.☆86Updated 8 years ago
- ☆22Updated 8 years ago
- Verified vector clocks, with Coq!☆13Updated 10 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- ☆20Updated 6 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago