m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝
☆31Apr 27, 2020Updated 6 years ago
Alternatives and similar repositories for Artificial-Philosophy
Users that are interested in Artificial-Philosophy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Philosophy diagrams in Ti𝑘Z☆41Jul 13, 2021Updated 4 years ago
- Algorithmic game theory, recursive macroeconomics, machine learning for econometrics☆53May 18, 2018Updated 8 years ago
- Tiny thing to listen on a WebSocket and forward OSC-over-UDP events to SuperDirt☆11Feb 22, 2024Updated 2 years ago
- An Emacs major-mode for chess PGN files, powered by Python☆16Jun 5, 2026Updated last month
- Simulacra and Simulation, 1981, Jean Baudrillard☆24Feb 2, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- emacs client for etherpad-lite☆22Apr 22, 2012Updated 14 years ago
- yt_dlp -> whisper -> gpt4☆17Jan 8, 2024Updated 2 years ago
- A simple system for non realtime soundfile analysis in SuperCollider☆15May 18, 2020Updated 6 years ago
- An open workbench for the open source connected home of the future, @casajamina in Torino, Italy. http://casajasmina.arduino.cc/☆12Dec 23, 2015Updated 10 years ago
- String diagrams in LaTeX.☆18Jul 1, 2026Updated last week
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated last year
- Random notes on mathematics (in German)☆13Updated this week
- A generative algorithm for music composition based on jazz theory☆13Jan 15, 2024Updated 2 years ago
- Code related to my music project "Schemawound"☆12Aug 11, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A curated list of awesome ethics☆71Apr 17, 2019Updated 7 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Python program that plays/renders ProTracker modules using PyAudio (available on PyPI as "pymod-amiga")☆11Jan 2, 2025Updated last year
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Tiny, self-contained generative music programs as QR codes☆26May 1, 2026Updated 2 months ago
- ☆13Jan 25, 2021Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- A modern - simplified list of the most important android libraries that make our lives easier, and better :)☆11Nov 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Library to Automate User Interactions☆37Jun 30, 2026Updated last week
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Investigating using GANS to help train a lane detection neural network☆12Aug 19, 2018Updated 7 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- A sensitivity analysis package for causal effects☆12Mar 18, 2024Updated 2 years ago
- Repository for experiments with TensorFlow☆11Nov 25, 2015Updated 10 years ago
- Typogenetics—short for “Typographical genetics” from Douglas R. Hofstadter's “Godel, Escher, Bach: Eternal Golden Braid”☆11Nov 10, 2012Updated 13 years ago
- Functional Geometry with Elixir☆11Feb 14, 2022Updated 4 years ago
- A collection of awesome lists, tools, frameworks, libraries, software and resources.☆13Nov 9, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fine tune a pixelart diffusion model with isometric dataset.☆13Feb 8, 2026Updated 5 months ago
- C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱☆38Oct 28, 2025Updated 8 months ago
- A curated list of iconic TV and movie moments from modern filmography☆11Mar 15, 2023Updated 3 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Stochastic Diffusion Search, swarm intelligence algorithm.☆12Dec 8, 2022Updated 3 years ago
- Computer science with Rust. Articles, algorithms, data structures and other programs written in Rust.☆16May 10, 2016Updated 10 years ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 7 years ago