PLT Redex models of LVar calculi
☆10Apr 6, 2015Updated 10 years ago
Alternatives and similar repositories for lvar-semantics
Users that are interested in lvar-semantics are comparing it to the libraries listed below
Sorting:
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- The LVish Haskell library☆80Oct 27, 2022Updated 3 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Jun 15, 2020Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- A minimalist CSS framework on Stylus version.☆19Feb 27, 2023Updated 3 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 12 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 9 years ago
- A Categorical View of Computation☆34Jan 1, 2026Updated 2 months ago
- Multi-type protocol-based polymorphism☆11Sep 10, 2016Updated 9 years ago
- ‘goto’ for ruby. :-)☆31May 16, 2017Updated 8 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- Base class for random access stores☆30Feb 5, 2018Updated 8 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Jan 6, 2021Updated 5 years ago
- An address component tagger based on statistical natural language processing techniques☆11Apr 17, 2014Updated 11 years ago
- being a particular fragment of Haskell, extended to a proof system☆44Updated this week
- ☆10Jun 28, 2017Updated 8 years ago
- Interactive website for learning elixir. Formerly http://elixirexperience.com☆36Jul 10, 2015Updated 10 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- ustwobies love food, so they Open Source their recipes, as any sane geek would do.☆15Jan 11, 2014Updated 12 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 5 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- Use RxJS 5 to compose side effect streams with Redux☆10Jun 29, 2016Updated 9 years ago
- Chrome Remote Shell library for Python (including evaluations)☆15Feb 16, 2011Updated 15 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- DEPRECATED, being merged in upstream. Web-based software for foodcoops - as used in NL.☆11Jun 20, 2017Updated 8 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- ☆11Apr 24, 2018Updated 7 years ago
- This project describes the D4M 2.0 Schema used in many Accumulo systems.☆21Oct 3, 2020Updated 5 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Dec 3, 2025Updated 3 months ago
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 8 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Jun 27, 2016Updated 9 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- moved to☆10Oct 10, 2025Updated 4 months ago