diku-dk / staffeliLinks
DIKU Support Tools for Canvas LMS
☆14Updated 10 months ago
Alternatives and similar repositories for staffeli
Users that are interested in staffeli are comparing it to the libraries listed below
Sorting:
- Benchmarks for capture-avoiding substitution☆119Updated last month
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Simple autograder for Haskell programming assignments☆17Updated 5 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆100Updated 9 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆59Updated last year
- A compiler for functional programs on serialized data☆164Updated last month
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆54Updated last month
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Agda programming with holes☆27Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Randomized Property-Based Testing Plugin for Coq☆266Updated 2 weeks ago
- ☆11Updated 2 months ago
- an implementation of stuck macros☆144Updated 2 weeks ago
- Fast parsing from bytestrings☆161Updated 3 weeks ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated this week
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 10 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 2 weeks ago
- A monadic library for symbolic evaluation☆67Updated this week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆102Updated 3 years ago
- Fast equality saturation in Haskell☆84Updated this week
- Unification and type inference algorithms☆125Updated 10 years ago
- Prototype type inference engine☆202Updated 5 months ago
- Total Parser Combinators in Agda☆130Updated 2 years ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago