A list of resources that cross the disciplines of Computer Science and Philosophy
☆111Mar 13, 2025Updated last year
Alternatives and similar repositories for awesome-philosophy-compsci
Users that are interested in awesome-philosophy-compsci 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☆16Jul 23, 2021Updated 5 years ago
- Just my awesome notes☆13Oct 8, 2024Updated 2 years ago
- A list of philosophy books and resources.☆370Dec 27, 2020Updated 5 years ago
- A curated list of awesome ethics☆74Apr 17, 2019Updated 7 years ago
- ☆15May 23, 2017Updated 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 Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆31Apr 27, 2020Updated 6 years ago
- A system aiming to solve fake news and propaganda through a vetting mechanism to verify facts from trash. A system to end cyclic discussi…☆16Oct 1, 2026Updated last week
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- Simple file sharing with client-side encryption, powered by Rust and WebAssembly☆31Nov 21, 2024Updated last year
- 《금융 전문가를 위한 머신러닝 알고리즘》 예제 코드☆17Dec 23, 2020Updated 5 years ago
- My notes of learning in all aspects.☆16Jun 23, 2017Updated 9 years ago
- Userscripts to add functionality to miscellaneous sites☆40Jun 4, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A verified compiler for a lazy functional language☆44Oct 3, 2026Updated last week
- Text Editor SAN for Korean on DOS☆47Feb 23, 2025Updated last year
- A curated list of nonsensical websites.☆12Jun 30, 2026Updated 3 months ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 11 months ago
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 4 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 2 months ago
- Here any one wanting to learn c can find basic programs and learn☆16Oct 2, 2020Updated 6 years ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 8 years ago
- ☆21Oct 25, 2018Updated 7 years 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.
- Fuzzy Aggregators and Similarity Into a Logic Language☆27Sep 12, 2024Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 31, 2026Updated last month
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- Practical UNIX Manuals☆18Oct 22, 2019Updated 6 years ago
- A compilation of lecture notes☆18May 1, 2019Updated 7 years ago
- ⭐️ My Awesome Favorites List☆10Apr 11, 2020Updated 6 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- Haskell wrapper for iced☆39Feb 22, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A curated list of Islamic Resources in Arabic and English☆10Jul 24, 2026Updated 2 months ago
- In which prediction agents organize themselves through competition.☆24Dec 4, 2016Updated 9 years ago
- ☆17Updated this week
- My personal note of everything, from coding to philosophy.☆82Nov 30, 2024Updated last year
- A modern - simplified list of the most important android libraries that make our lives easier, and better :)☆11Nov 9, 2022Updated 3 years ago
- A curated list of iconic TV and movie moments from modern filmography☆11Mar 15, 2023Updated 3 years ago
- Overview of use cases and applications for software-defined radios (SDR)☆28Jan 28, 2023Updated 3 years ago