Reviewing some online CS courses I took
An exhaustive list of all Rust resources regarding automated or semi-aut...
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Ciao is a modern Prolog implementation that builds up from a logic-based...
A Reasoning System for a First-Order Logic of Limited Belief, written in...
A `Neural = Symbolic` framework for sound and complete weighted real-val...
TypeQL: the polymorphic query language of TypeDB
Mod for minetest that adds digital circuitry [=Minecraft redstone]
The Principia Rewrite
A curated list of awesome philosophy
Schematics for DLS - The Digital Logic Simulator game http://makingartst...
LibraryBookSearchEngine,link librarys of all 197 Countries, search all...
Examples of not obvious behaviors for javascript beginner programmers
Source code for lecture notes
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经...