sineagles / OnlinePythonTutor
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for OnlinePythonTutor
- Learn Python by executing code online and visualizing data structures☆150Updated 3 years ago
- Forks from https://github.com/pgbovine/OnlinePythonTutor (V5-unity)☆25Updated last year
- Prolog Implementation in Python☆11Updated 6 years ago
- Visualize Python, Java, JavaScript, TypeScript, Ruby, C, and C++ code execution in your Web browser☆31Updated last year
- Geometric Algebra using wxMaxima (GAwxM)☆12Updated 6 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆27Updated 7 months ago
- The SWI-Prolog HTTP server and client libraries☆24Updated this week
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- Prolog programs for Mathematical Logic for Computer Science (3rd Edition)☆10Updated last year
- Discuss future development☆21Updated 9 years ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 6 years ago
- A tiny tikzzz editor in the browser☆11Updated last month
- The CSNePS Knowledge Representation and Reasoning System☆27Updated 4 months ago
- A simple scheme interpreter in Python☆25Updated 10 years ago
- Personal packages for http://asymptote.sourceforge.net/☆8Updated 6 years ago
- ☆21Updated 11 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 6 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- Stackless Joy☆22Updated 2 weeks ago
- Yet another PEG parser combinator library and DSL☆57Updated last year
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- The Bertrand Constraint Language☆28Updated 10 months ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 4 years ago
- Visualize Python, Java, JavaScript, TypeScript, Ruby, C, and C++ code execution in your Web browser☆128Updated 4 years ago
- Annie's version of talespin☆12Updated 6 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago