urweb / upo
The Ur/Web People Organizer
☆29Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for upo
- ☆29Updated 9 years ago
- MLton for scalable multicore architectures☆58Updated 10 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- pesca: Proof Editor for Sequent Calculus (mirror)☆10Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆29Updated last year
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- Higher-order FRP compiler☆14Updated 3 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Updated 6 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- The Evolution of a Typechecker☆54Updated 5 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 5 months ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆33Updated 7 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- SML On Stilts☆37Updated 10 years ago
- OCaml backend for Agda☆39Updated 6 years ago