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 3 years ago
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆121Updated 8 months ago
- A small implementation of higher-order unification☆192Updated 8 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆103Updated 5 months ago
- ☆143Updated 3 years ago
- A compiler for functional programs on serialized data☆174Updated this week
- Tutorial for using the MPL compiler for Parallel ML☆23Updated last year
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Parallel Functional Programming, 2020☆16Updated 2 years ago
- An interactive theorem prover based on lambda-tree syntax☆98Updated last week
- Analytic sampler compiler for combinatorial systems☆31Updated 3 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- Agda programming with holes☆28Updated 5 years ago
- Simple autograder for Haskell programming assignments☆18Updated 11 months ago
- Prototype implementations of systems based on setoid type theory☆66Updated 5 years ago
- Generic package manager for Standard ML libraries and programs☆171Updated 2 weeks ago
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆68Updated last year
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆54Updated 6 months ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Updated 4 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- An efficient, embeddable DPLL SAT solver in Haskell☆37Updated 10 years ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆63Updated 6 months ago
- Randomized Property-Based Testing Plugin for Coq☆279Updated last month
- being bits and pieces I'm inclined to leave lying around☆56Updated last week