Alex-Linhares / Complex-Adaptive-Systems
Linhares Complex Adaptive Systems Course
☆16Updated 7 years ago
Alternatives and similar repositories for Complex-Adaptive-Systems:
Users that are interested in Complex-Adaptive-Systems are comparing it to the libraries listed below
- ☆115Updated last year
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- Prolog Tutorials and Information☆170Updated 5 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 10 months ago
- A translation of Melanie Mitchell's original Copycat project from Lisp to Python.☆43Updated 7 years ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆22Updated 5 years ago
- Haskell implementation of open games☆157Updated last month
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 10 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated this week
- co.py.cat extends Hofstadter's, pythonically☆58Updated 7 months ago
- The best Prolog visualizer☆85Updated 2 years ago
- ☆15Updated 8 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated 11 months ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated 3 months ago
- probmods 2: electric boogaloo☆306Updated last year
- Interesting Papers and Ideas☆83Updated 8 years ago
- Experiments in an explorable visual medium for mathematics☆260Updated 7 years ago
- ERGO Agent Programming Language☆27Updated 8 months ago
- List of future of programming projects☆357Updated 8 months ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆149Updated 2 weeks ago
- ☆141Updated last week
- Reading schedule and our library of pdfs☆24Updated 5 years ago
- Free Life Planner: An AI tool for helping with planning for day-to-day life.☆65Updated 5 months ago
- Douglas Hofstadter's "Typographical Number Theory"☆16Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated last month
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 2 years ago