diku-dk / staffeliLinks
DIKU Support Tools for Canvas LMS
☆14Updated last year
Alternatives and similar repositories for staffeli
Users that are interested in staffeli are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated last month
- ☆11Updated 4 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Simple autograder for Haskell programming assignments☆17Updated 7 months ago
- ☆139Updated 3 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- Agda programming with holes☆27Updated 4 years ago
- NbE course @ Chalmers☆28Updated 11 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆62Updated last year
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 8 months ago
- A Dependently Timed Drum Machine Language☆10Updated last year
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- ☆11Updated 3 years ago
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- ☆29Updated 2 years ago
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆68Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Mechanizations of Type Theories☆32Updated last month
- This aims to be the most pretentious implementation of stlc in existence☆64Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated last month
- A work-in-progress core language for Agda, in Agda☆55Updated 3 weeks ago
- ☆21Updated 4 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated last week