anabrid / pyanalog
The source code of the anabrid Python toolchain for analog computer programming
☆29Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for pyanalog
- Forth does tensors, in CUDA.☆38Updated this week
- Tools for doing stepwise algebra in an on paper like manner using SymPy.☆17Updated 3 months ago
- The c302 framework for generating multiscale network models of C. elegans☆109Updated 3 weeks ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆36Updated this week
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆35Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆55Updated last month
- A brainfuck-based Arduino competitor.☆23Updated 3 years ago
- Resources and links for the Forth programming language☆24Updated 3 years ago
- Sending the lambda calculus into deep space☆135Updated 2 years ago
- Simulator for cellular automata defined on regular lattices on Minkovski plane☆11Updated 3 years ago
- ☆113Updated last year
- pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language☆34Updated 3 weeks ago
- Support repository for the T2-12 tile☆42Updated 6 months ago
- Reflexive & Persistent System (artificial intelligence)☆60Updated this week
- A Prolog kernel for Jupyter☆58Updated 5 years ago
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆39Updated 10 months ago
- AI Agent Simulation generates Minecraft Settlements☆61Updated 9 months ago
- Synthesis-Aided Compiler for GreenArrays GA144☆51Updated 7 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆49Updated 4 months ago
- botttom-up vr redux☆23Updated 3 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆14Updated 2 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- LLM inference in Fortran☆53Updated 5 months ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆45Updated last year
- Hypergraph Rewriting System☆64Updated 7 months ago
- LODA Programs for Integer Sequences☆31Updated this week
- A SUBLEQ macro assembler☆12Updated 4 years ago
- A little chip design game inspired by KOHCTPYKTOP: Engineer of the People by Zachtronics☆142Updated 2 years ago
- The sources of the first theorem prover.☆56Updated 7 years ago