kvalle / sml-testingLinks
Simple framework for testing Standard ML code.
☆23Updated 12 years ago
Alternatives and similar repositories for sml-testing
Users that are interested in sml-testing are comparing it to the libraries listed below
Sorting:
- Dafny for Metatheory of Programming Languages☆26Updated 2 months ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆22Updated last year
- Luck -- A Language for Property-Based Generators☆35Updated 8 months ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- ☆21Updated 7 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 6 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36Updated 8 years ago
- Domain theory and denotational semantics in Coq☆10Updated 10 years ago
- A simple ML dialect☆11Updated 8 years ago
- Experiments in formalizing refinement type systems in Coq☆18Updated 9 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Updated 3 years ago
- secret project☆17Updated 7 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 6 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- ☆17Updated 7 years ago
- Polynomial semantics of linear logic☆13Updated 7 years ago
- My final year project at the University of Strathclyde☆13Updated 2 years ago
- MetaML and MetaOCaml bibliography☆94Updated 11 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- A reflection-based proof tactic for lattices in Coq☆21Updated 2 years ago
- xmonad in Coq☆46Updated 13 years ago