Book lucid interpreter written in python
☆24Jul 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
Sorting:
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Yet another PEG parser combinator library and DSL☆56Jul 14, 2023Updated 2 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Puzzle language written in Linear A☆12Mar 29, 2018Updated 7 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 3 years ago
- Prolog in AWK☆17Mar 9, 2017Updated 8 years ago
- The NIAL language environment☆116Mar 24, 2023Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- The 9p protocol as a serde format and message types.☆32May 21, 2021Updated 4 years ago
- A recreation of Ivan Sutherland's Sketchpad, for the web.☆33Aug 20, 2024Updated last year
- Chart parser (Earley SPPF)☆27Dec 6, 2018Updated 7 years ago
- BANCStar source code☆170Oct 26, 2014Updated 11 years ago
- Vim syntax plugin for ponylang☆31Sep 26, 2017Updated 8 years ago
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 8 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- LODA Programs for Integer Sequences☆38Feb 27, 2026Updated last week
- 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
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆12Nov 12, 2024Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Sep 20, 2021Updated 4 years ago
- Original Forth for 1BM 1130 written by Charles Moore in 1968.☆48Oct 16, 2021Updated 4 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- An Excel spreadsheet to help you solve WORDLE puzzles☆13Dec 14, 2022Updated 3 years ago
- Display thumbnails in topic lists☆15Feb 17, 2026Updated 2 weeks ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- ☆19May 30, 2025Updated 9 months ago
- Webpipes is a work-in-progress proposal for linking together web services. Essentially, you can think of webpipes as tiny web services mo…☆21Sep 4, 2013Updated 12 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- PDF Screenshot OCR Analysis with Google Gemini Pro☆13Jan 27, 2026Updated last month
- ☆10Feb 23, 2017Updated 9 years ago
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Updated this week
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- ☆40May 1, 2016Updated 9 years ago