A list of resources that cross the disciplines of Computer Science and Philosophy
☆112Mar 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:
- A semester long informal workshop looking at computational approaches to political philosophy☆12Jul 28, 2015Updated 11 years ago
- ☆15Jul 9, 2026Updated 3 months ago
- ☆10Sep 16, 2026Updated last month
- ☆15May 23, 2017Updated 9 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Zero Knowledge LANGuage in OCaml☆12Jul 15, 2024Updated 2 years ago
- A command-line tool that randomly recommends one of the URIs you haven't read forever.☆19Nov 30, 2019Updated 6 years ago
- An interpreter for Gödel's System T☆14Apr 17, 2017Updated 9 years ago
- ☆25Jun 15, 2020Updated 6 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated last year
- Simple file sharing with client-side encryption, powered by Rust and WebAssembly☆31Nov 21, 2024Updated last year
- 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 dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 4 years ago
- Text Editor SAN for Korean on DOS☆47Feb 23, 2025Updated last year
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 3 months ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- Compiler for a small stack-based imperative language, targeting the Piet language.☆19May 21, 2026Updated 5 months ago
- Command-like expressions for real infinite-precision calculations☆57May 9, 2026Updated 5 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 years ago
- A verified compiler for a lazy functional language☆47Oct 3, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- My UNIX-like system configuration files☆133Updated this week
- 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 2 months ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 8 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- Haskell wrapper for iced☆39Feb 22, 2026Updated 8 months ago
- ☆18Updated this week
- Create P2P apps between browsers☆12Dec 30, 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.
- could it be?☆18Jul 11, 2025Updated last year
- ☆13Aug 15, 2020Updated 6 years ago
- Rubato Composer is a music software based on the concepts and models of mathematical music theory.☆22Jul 19, 2022Updated 4 years ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 10 years ago
- LLM-powered typed-holes☆58May 2, 2025Updated last year
- Hangul manipulations☆13Mar 27, 2024Updated 2 years ago
- Intlog - a Prolog interpreter with OO extensions - implemented in C++☆21Feb 4, 2023Updated 3 years ago