awf / Coconut
Shaking expression trees until something tasty pops out
☆16Updated 5 years ago
Related projects: ⓘ
- ☆28Updated 9 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago
- ☆15Updated 3 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- Dafny for Metatheory of Programming Languages☆21Updated last week
- ☆33Updated 5 months ago
- An extended typed Lambda Calculus☆20Updated last month
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆28Updated 3 years ago
- ☆22Updated 8 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 4 years ago
- Logic for story telling!☆29Updated 6 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- The opentheory tool processes higher order logic theory packages☆15Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Kleene algebra modulo theories☆26Updated last year
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Constructive Galois connections☆32Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Collection of Idris snippets☆21Updated 6 months ago
- A programming language with infinite arrays☆31Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Program verification with F* course materials☆11Updated 5 years ago
- A static analysis tool for C.☆26Updated 4 years ago
- A certified semantics for relational programming workout.☆25Updated 3 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆63Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago