Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
https://github.com/glennstreet/awesome-philosophy-compsci
- Abductive logic programming
- Answer set programming
- Concurrent logic programming
- Inductive logic programming
- wiki
- Brian Tackett
- homotopy type theory
- Haskell
- An introductory blog post - Krouse](https://philpeople.org/profiles/graham-leach-krouse-1) at [Daily Nous](http://dailynous.com).
- 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 Research
- Ariel Roffé - Logic](http://ba-logic.com) group"
- The Common Lisp Cookbook
- Practical Common Lisp
- Torin Doppelt
- Pandoc
- Moses Boudorides - co-occurring relationships among concepts. Works analyzed include Heidegger's "The Question Concerning Technology" and Nietzsche's "Thus Spake Zarathustra".
- Jason Winning
Programming Languages
Keywords