Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-philosophy-compsci

A list of resources that cross the disciplines of Computer Science and Philosophy
https://github.com/glennstreet/awesome-philosophy-compsci

Last synced: about 17 hours ago
JSON representation

  • Wikipedia

  • [The n-Category Café](https://golem.ph.utexas.edu/category/)

    • [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

    • [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

  • [Arend Theorem Prover](https://arend-lang.github.io/about/)

    • [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

  • [Carnap](https://carnap.io)

    • [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

  • [Coq Proof Assistant](https://coq.inria.fr)

    • [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

      • OCaml - interactive development of machine-checked proofs. Typical applications include the [certification of properties of programming languages](https://github.com/coq/coq/wiki/List%2520of%2520Coq%2520PL%2520Projects) (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching."

  • [Microsoft's Lean](https://leanprover.github.io/)

  • [Taut](https://www.taut-logic.com)

    • Home page of [Wiki](https://github.com/coq/coq/wiki)

  • Lisp

  • [Spinoza's Ethics 2.0](https://ethics.spinozism.org)

    • [tt - the Boolean expression toolbox](https://tt.brianwel.ch/en/latest/)

  • [John MacFarlane](https://johnmacfarlane.net)

    • [Research profile](https://researchprofile.canterbury.ac.nz/Researcher.aspx?Researcherid=86390)

  • [Philosophical Wordnets](https://github.com/mboudour/WordNets/tree/master/Philosophical%2520WordNets)

    • [Research profile](https://researchprofile.canterbury.ac.nz/Researcher.aspx?Researcherid=86390)

      • Moses Boudorides - co-occurring relationships among concepts. Works analyzed include Heidegger's "The Question Concerning Technology" and Nietzsche's "Thus Spake Zarathustra".

  • [Hypernomicon](http://hypernomicon.org)

Programming Languages
JavaScript 1
Categories
Wikipedia 4 [Carnap](https://carnap.io) 2 Lisp 2 [Hypernomicon](http://hypernomicon.org) 2 [John MacFarlane](https://johnmacfarlane.net) 1 [Spinoza's Ethics 2.0](https://ethics.spinozism.org) 1 [Coq Proof Assistant](https://coq.inria.fr) 1 [The n-Category Café](https://golem.ph.utexas.edu/category/) 1 [An Automated Modal Reasoner](https://briantackett.pythonanywhere.com) 1 [Taut](https://www.taut-logic.com) 1 [Microsoft's Lean](https://leanprover.github.io/) 1 [Philosophical Wordnets](https://github.com/mboudour/WordNets/tree/master/Philosophical%2520WordNets) 1 [Arend Theorem Prover](https://arend-lang.github.io/about/) 1
Sub Categories
[Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/) 6 [Logic Programming](https://en.wikipedia.org/wiki/Logic_programming) 4 [Research profile](https://researchprofile.canterbury.ac.nz/Researcher.aspx?Researcherid=86390) 4 Home page of [Wiki](https://github.com/coq/coq/wiki) 2 [Common Lisp](https://common-lisp.net) 2 [tt - the Boolean expression toolbox](https://tt.brianwel.ch/en/latest/) 1
Keywords
lisp 1 examples 1 cookbooks 1 common-lisp 1