jozefg / graph-models
Notes on P-omega
☆14Updated 7 years ago
Related projects: ⓘ
- An Assembly-like programming language and interpreter in Haskell☆16Updated 8 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- ☆20Updated 9 years ago
- The Ur/Web People Organizer☆29Updated 4 months ago
- pesca: Proof Editor for Sequent Calculus (mirror)☆10Updated 7 years ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- ☆23Updated 6 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- ☆12Updated this week
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Morte IDE☆28Updated 8 months ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- ☆25Updated this week
- BibTeX database management in Idris☆18Updated 10 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- A dependently typed type checker for a TT with intervals☆21Updated 4 years ago
- bbs written in Ur/Web☆13Updated 8 years ago
- Brainfuck with Actors☆35Updated 5 years ago
- Idris, but it's C☆24Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- ☆39Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- ☆25Updated this week