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:
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆15Jul 23, 2021Updated 5 years ago
- Philosophy diagrams in Ti𝑘Z☆41Jul 13, 2021Updated 5 years ago
- Algorithmic game theory, recursive macroeconomics, machine learning for econometrics☆54May 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
- Open-source decompilation of Disstrack☆12Oct 18, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A CPU that uses Brainfuck as its machine code☆15Jan 19, 2013Updated 13 years ago
- A resource for pedagogues looking to teach using FluCoMa or machine listening & machine learning more generally.☆13May 16, 2024Updated 2 years ago
- Simulacra and Simulation, 1981, Jean Baudrillard☆26Feb 2, 2020Updated 6 years ago
- Code related to my music project "Schemawound"☆12Aug 11, 2019Updated 7 years ago
- A generative algorithm for music composition based on jazz theory☆13Jan 15, 2024Updated 2 years ago
- Random notes on mathematics (in German)☆13Aug 6, 2026Updated last week
- ☆10May 3, 2017Updated 9 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 7 months ago
- Python program that plays/renders ProTracker modules using PyAudio (available on PyPI as "pymod-amiga")☆11Jan 2, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A low-level, cross-platform port scanner and packet flooder written in Rust.☆14Mar 25, 2025Updated last year
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- Investigating using GANS to help train a lane detection neural network☆12Aug 19, 2018Updated 7 years ago
- Guide elucidating Lambda Calculus☆15Sep 3, 2021Updated 4 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- ☆13Jan 25, 2021Updated 5 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Port of Ultimate Dark Neo to Zed editor☆15May 27, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- P2P network service crates (alternative to rust-microservices)☆18Mar 22, 2026Updated 4 months ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Typogenetics—short for “Typographical genetics” from Douglas R. Hofstadter's “Godel, Escher, Bach: Eternal Golden Braid”☆11Nov 10, 2012Updated 13 years ago
- An R API wrapper for the SpaceX API☆10Dec 30, 2020Updated 5 years ago
- A theorem prover☆15Jul 27, 2026Updated 3 weeks ago
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Sep 28, 2025Updated 10 months ago
- Stochastic Diffusion Search, swarm intelligence algorithm.☆12Dec 8, 2022Updated 3 years ago
- emacs client for etherpad-lite☆22Apr 22, 2012Updated 14 years ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- SuperCollider source code for the Threnoscope☆27Jan 23, 2023Updated 3 years ago
- R Package to interact with the Uniswap Platform☆12Aug 17, 2023Updated 3 years ago
- things that don't deserve their own repo☆63Feb 25, 2026Updated 5 months ago
- The Ai Music Generation Challenge 2021☆28Apr 17, 2023Updated 3 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 7 years ago