toblotron / praxis-ideLinks
An online IDE for visual programming in Prolog
☆245Updated 2 months ago
Alternatives and similar repositories for praxis-ide
Users that are interested in praxis-ide are comparing it to the libraries listed below
Sorting:
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 6 months ago
- PostgreSQL Prolog language handler☆134Updated last year
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Gavin Mendel-Gleason's blog☆88Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- Text Adventure game in SWI Prolog.☆101Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A headless spreadsheet document container service.☆106Updated 6 months ago
- posts and code related to personal studies☆370Updated 10 months ago
- A data and code editor that feels like a spreadsheet.☆162Updated last year
- Brzozowski derivative python sketch☆85Updated 4 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- An ngn/k tutorial.☆204Updated last year
- Transductive regular expressions☆251Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆133Updated last week
- C plus Prolog☆164Updated 5 months ago
- A typed, polyglot, functional language☆204Updated this week
- ☆101Updated 3 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 6 months ago
- ☆92Updated 6 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆308Updated this week
- Succintly written (<1000 non-obfuscated loc), fully-functional software in any language☆110Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- Prolog Home Page☆73Updated 2 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 3 months ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆129Updated 3 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- Blog on excel as code☆117Updated 3 years ago