toblotron / praxis-ide
An online IDE for visual programming in Prolog
☆235Updated last week
Related projects ⓘ
Alternatives and complementary repositories for praxis-ide
- tar creator+extractor in ~100 lines of prolog☆256Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆274Updated this week
- PostgreSQL Prolog language handler☆130Updated 7 months ago
- The no-framework framework for building component-based purely-functional UIs.☆126Updated last year
- An ngn/k tutorial.☆195Updated 5 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆43Updated 5 months ago
- A functional, content-addressable programming language.☆376Updated this week
- A typed, polyglot, functional language☆195Updated last week
- A book about category theory☆343Updated last week
- Brzozowski derivative python sketch☆83Updated 7 months ago
- posts and code related to personal studies☆374Updated last month
- Fork of Lua 5.1 to encourage end-user programming☆166Updated 11 months ago
- a tiny tile-based editor☆284Updated this week
- A lisp rosetta stone to demonstrate modern language features☆170Updated 2 years ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆311Updated last year
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆117Updated 2 months ago
- ☆96Updated 2 years ago
- the origins of J☆60Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 10 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…☆372Updated 2 months ago
- A fast functional language based on two level type theory☆388Updated last year
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 9 months ago
- A headless spreadsheet document container service.☆106Updated last week
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year