Book lucid interpreter written in python
☆25Jul 8, 2019Updated 6 years ago
Alternatives and similar repositories for pyLucid
Users that are interested in pyLucid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Yet another PEG parser combinator library and DSL☆57Jul 14, 2023Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- The NIAL language environment☆116Mar 24, 2023Updated 3 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆46Jan 23, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- A full implementation (tested) of chip16 virtual machine, or emulator as you wish, using python and rendering with opengl.☆36Mar 23, 2015Updated 11 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- A compact, dependency-free LL(1) parser toolkit for Python.☆10Apr 18, 2026Updated 2 weeks ago
- Finding Game of Life states that lead to pictures.☆18May 2, 2024Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- A recreation of Ivan Sutherland's Sketchpad, for the web.☆35Aug 20, 2024Updated last year
- Chart parser (Earley SPPF)☆27Dec 6, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 years ago
- ☆11Aug 27, 2018Updated 7 years ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Apr 26, 2026Updated last week
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- ☆11Aug 6, 2015Updated 10 years ago
- An ActivityPub implementation in Common Lisp☆18Jan 24, 2018Updated 8 years ago
- Guess sentences from initial letters of each word☆23Aug 22, 2022Updated 3 years ago
- Ultra Portable, Small, Baremetal Forth for various processors☆55Feb 24, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Heatmap text in Julia.☆11Jul 3, 2025Updated 10 months ago
- ☆13Dec 25, 2020Updated 5 years ago
- My favorite quotes☆17Oct 12, 2025Updated 6 months ago
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- A compact, efficient Prolog interpreter written in plain old C.☆353Updated this week
- Simplification HTTP proxy for Camlistore☆16Apr 15, 2026Updated 3 weeks ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- BANCStar source code☆171Oct 26, 2014Updated 11 years ago
- FreeBSD daemon that watches files and runs commands when they change☆15Jan 30, 2023Updated 3 years ago
- Economics games, inspired by David D. Friedman's☆12Aug 26, 2017Updated 8 years ago
- An easily forkable commonplace book of interesting, VERY well-annoted code in any language. Take it and add your own.☆41Jan 28, 2014Updated 12 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago