jozefg / graph-models
Notes on P-omega
☆14Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for graph-models
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ☆20Updated 9 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Exercism exercises in Coq.☆18Updated 3 weeks ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- ☆29Updated 9 years ago
- Morte IDE☆29Updated 10 months ago
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A dependently typed type checker for a TT with intervals☆21Updated 4 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Idris, but it's C☆24Updated 6 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- The Alms Programming Language☆44Updated 6 years ago
- being an experiment with potato power☆23Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- OCaml back end for Idris☆22Updated 6 years ago
- MLton for scalable multicore architectures☆58Updated 10 years ago
- ☆23Updated 6 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago