shriram / porpoiseLinks
use an LLM to translate purpose-statements into code to evaluate their quality
☆11Updated last year
Alternatives and similar repositories for porpoise
Users that are interested in porpoise are comparing it to the libraries listed below
Sorting:
- A work-in-progress core language for Agda, in Agda☆61Updated last week
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- Mystery Languages☆41Updated 2 years ago
- A tutorial on how Agda infers things☆63Updated 5 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 7 months ago
- ☆94Updated 8 months ago
- ☆22Updated 4 years ago
- Selected Papers of Dana S. Scott☆170Updated last year
- ☆64Updated 3 years ago
- A (formalised) general definition of type theories☆59Updated 4 years ago
- Lecture notes on realizability☆75Updated 10 months ago
- Play/learn/work with me☆113Updated 3 weeks ago
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 5 months ago
- bollu learns implementation of dependent typing☆34Updated 2 years ago
- Library of the ##dependent distributed research support group☆117Updated last year
- ☆234Updated last year
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 6 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆66Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆48Updated last week
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 4 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 4 years ago
- ☆46Updated 3 months ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 3 weeks ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- an implementation of stuck macros☆149Updated last week
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- Formal Topology in Univalent Foundations (WIP).☆36Updated 3 years ago