A MiniKanren in Python
☆36Jul 15, 2016Updated 9 years ago
Alternatives and similar repositories for pythological
Users that are interested in pythological are comparing it to the libraries listed below
Sorting:
- an attempt to implement miniKanren and microKanren in Python☆54Jul 16, 2014Updated 11 years ago
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Oct 22, 2015Updated 10 years ago
- Yet another PEG parser combinator library and DSL☆56Jul 14, 2023Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆59Oct 2, 2014Updated 11 years ago
- A Scheme Interpreter for ARM Microcontrollers☆14Jan 15, 2014Updated 12 years ago
- OrgoShmorgo is an organic molecule visualizer built using D3.js☆18Aug 14, 2022Updated 3 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆23Sep 29, 2011Updated 14 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- ☆71Feb 13, 2021Updated 5 years ago
- language independent software composition and merging☆32Mar 25, 2017Updated 8 years ago
- Genio is an extensible tool that can generate code to consume APIs in multiple programming languages based on different API specification…☆35Sep 23, 2016Updated 9 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Mar 27, 2024Updated last year
- Python wrapper for the Vowpal Wabbit machine learning library.☆52Jul 19, 2013Updated 12 years ago
- computer-aided harmony and counterpoint☆43Dec 21, 2024Updated last year
- JSON encoder/decoder in pure PicoLisp☆21Aug 28, 2020Updated 5 years ago
- An integrated high performance bioinformatics toolkit☆23Apr 24, 2019Updated 6 years ago
- The KISS, write-less do more, elegant, plugin-extensible way to handle state with diverse origins.☆10Mar 3, 2023Updated 2 years ago
- mrbgem of 鬼雲's Regular Expression☆31Dec 27, 2025Updated 2 months ago
- Create your PHP extension in C++, in a minute.☆71May 19, 2014Updated 11 years ago
- functional data structures and utilities for python☆36Feb 16, 2019Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆39Feb 12, 2026Updated 2 weeks ago
- Raw image editor with built-in film emulation.☆18Feb 9, 2026Updated 2 weeks ago
- ☆36May 26, 2021Updated 4 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- Parse wikipedia dumps and index (some) page data to elasticsearch☆49Jul 21, 2015Updated 10 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Jul 12, 2012Updated 13 years ago
- Random fun with statistical language models.☆63Sep 27, 2019Updated 6 years ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- An Excel spreadsheet to help you solve WORDLE puzzles☆13Dec 14, 2022Updated 3 years ago
- A set of utilities for accessing and processing MediaWiki data.☆55Jan 15, 2019Updated 7 years ago