FormalSystems
Formal System Simulator
An implementation of formal systems from Douglas Hofstadter's book Gödel, Escher, Bach
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
619 stars
23 watching
35 forks
Language: Python
last commit: over 3 years ago
Linked from 1 awesome list
python
learn-anything/booksRelated projects:
| Repository | Description | Stars |
|---|---|---|
 project-dc/pygeneses | A PyTorch-based framework for training and studying artificial species in bio-inspired environments | 72 |
 fancompute/ceviche | A Python package for electromagnetic simulation and automatic differentiation | 344 |
 alexforencich/cocotbext-eth | Provides Ethernet interface modules for Cocotb simulation | 56 |
| alexforencich/verilog-lfsr | A parametrizable combinatorial LFSR/CRC module with various wrappers for different applications | 138 |
 idaes/idaes-pse | A comprehensive framework for designing, analyzing, and optimizing complex energy systems | 223 |
| alexforencich/cocotbext-axi | AXI interface modules for Cocotb simulation models | 219 |
 douglas-brinkerhoff/varglas | Simulates glacier behavior under various environmental conditions | 5 |
 davidrpugh/pyeconomics | A collection of Python classes and functions implementing computational economics models, including the Solow model, Ramsey model, and Real Business Cycles model. | 211 |
 drounce/pygem | An open-source Python model that simulates the evolution of glaciers over time | 59 |
 weinbe58/quspin | An exact diagonalization and quantum dynamics package for many-body systems | 25 |
 deepsense-ai/carla-real-traffic-scenarios | Creates realistic traffic scenarios in a virtual environment. | 79 |
| alexforencich/cocotbext-pcie | An open-source simulation framework for PCI express systems. | 141 |
 emited/flow | An implementation of a deep learning model for simulating physical processes in a way that integrates prior scientific knowledge | 54 |
 yangminz/bcst_csapp | An implementation of a computer system simulator in C, based on the book CSAPP | 920 |
 danshapero/icepack-py | Provides Python bindings and utility scripts for glacier flow modelling library icepack. | 1 |