carliros / software-foundations-bookLinks
http://www.cis.upenn.edu/~bcpierce/sf
☆14Updated 5 years ago
Alternatives and similar repositories for software-foundations-book
Users that are interested in software-foundations-book are comparing it to the libraries listed below
Sorting:
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- State machines in Idris☆37Updated 8 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 8 years ago
- OCaml backend for Agda☆40Updated 6 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- ☆30Updated 11 years ago
- SubML (prototype) language☆23Updated 3 years ago
- Signatures of the category theoretic style; a experiment in flattery☆27Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 3 years ago
- The language of the future!☆72Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Experimental Malfunction backend for Idris☆82Updated 6 years ago
- ☆29Updated 9 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆30Updated 8 years ago
- ☆41Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Opam2 remote for beta versions of the OCaml compiler☆16Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- MirageOS tutorial notebooks using IOCaml☆16Updated 7 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Real World Haskell☆30Updated 12 years ago
- Totally functional programming literature☆60Updated 6 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago