toblotron / praxis-ide
An online IDE for visual programming in Prolog
☆234Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for praxis-ide
- PostgreSQL Prolog language handler☆129Updated 7 months ago
- tar creator+extractor in ~100 lines of prolog☆256Updated last year
- The no-framework framework for building component-based purely-functional UIs.☆127Updated last year
- posts and code related to personal studies☆374Updated 3 weeks ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆272Updated this week
- Brzozowski derivative python sketch☆83Updated 7 months ago
- Gavin Mendel-Gleason's blog☆86Updated 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
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 9 months ago
- A lisp rosetta stone to demonstrate modern language features☆170Updated 2 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- An ngn/k tutorial.☆195Updated 5 months ago
- a tiny tile-based editor☆284Updated this week
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- A typed, polyglot, functional language☆195Updated this week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 9 months ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆311Updated last year
- A literate programming system for any language.☆85Updated 9 months ago
- A functional, content-addressable programming language.☆374Updated this week
- ☆96Updated 2 years ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 7 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆117Updated 2 months ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆185Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A book about category theory☆341Updated last week
- ☆36Updated last year
- Succintly written (<1000 non-obfuscated loc), fully-functional software in any language☆107Updated 2 years ago