propella / AlligatorEggsLinks
Yet another animation of Bret Victor's "Alligator Eggs!"
☆14Updated 4 years ago
Alternatives and similar repositories for AlligatorEggs
Users that are interested in AlligatorEggs are comparing it to the libraries listed below
Sorting:
- A simple Prolog interpreter☆42Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Morte IDE☆29Updated 8 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- The LVish Haskell library☆80Updated 3 years ago
- microkanren in sml☆27Updated 10 years ago
- ☆21Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- ☆23Updated 8 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- ☆15Updated 9 years ago
- ☆41Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Relational programming for PureScript☆17Updated 8 years ago
- JVM implementation in Haskell☆44Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆35Updated 6 years ago