nqpz / burgerforslag
burgerforslag.dk
☆13Updated last year
Alternatives and similar repositories for burgerforslag:
Users that are interested in burgerforslag are comparing it to the libraries listed below
- Call Futhark programs from Standard ML☆10Updated 6 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Haskell typechecker☆39Updated 5 years ago
- PMPH course 2020 public repo☆12Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- ☆47Updated 4 months ago
- Experiments with eBPF bytecode☆12Updated last year
- Parallel Functional Programming, 2020☆16Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- A work-in-progress core language for Agda, in Agda☆48Updated 2 weeks ago
- A quick reference for mapping Coq tactics to Lean tactics☆70Updated 3 years ago
- Revised Omega-categorical Typechecker☆26Updated 4 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆26Updated 2 years ago
- Algebraic proof discovery in Agda☆32Updated 3 years ago
- Experimental Haskell PHP parser / evaluator / code generator☆50Updated 9 years ago
- This aims to be the most pretentious implementation of stlc in existence☆62Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A functional fluent API generator☆34Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆31Updated last month
- Demo for dependent types + runtime code generation☆68Updated last month
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- Web server infrastructure for Standard ML☆13Updated last year
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 years ago
- ☆16Updated 3 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- A simple functional programming language.☆21Updated 3 years ago