-
-
-
lofmm Public
metamath derivations of Spencer-Brown's Laws of Form
HTML Creative Commons Zero v1.0 Universal UpdatedApr 23, 2021 -
metamath-exe Public
Forked from metamath/metamath-exeMetamath program - source code for the Metamath executable
C GNU General Public License v2.0 UpdatedMar 30, 2021 -
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
Objective-C++ Creative Commons Zero v1.0 Universal UpdatedMar 16, 2021 -
mmj2 Public
Forked from digama0/mmj2mmj2 GUI Proof Assistant for the Metamath project
Java GNU General Public License v2.0 UpdatedFeb 7, 2021 -
metamath-book Public
Forked from metamath/metamath-bookSource of metamath book
TeX Creative Commons Zero v1.0 Universal UpdatedJan 2, 2021 -
calibre Public
Forked from kovidgoyal/calibreThe official source code repository for the calibre ebook manager
Python GNU General Public License v3.0 UpdatedNov 17, 2020 -
algs4 Public
Forked from kevin-wayne/algs4Algorithms, 4th edition textbook code and libraries
Java GNU General Public License v3.0 UpdatedJul 1, 2020 -
aima-java Public
Forked from aimacode/aima-javaJava implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Java MIT License UpdatedOct 2, 2018 -
paip-in-clojure Public
Forked from eliben/paip-in-clojure🌅 Code from "Paradigms of Artificial Intelligence Programming" in Clojure
Clojure The Unlicense UpdatedApr 30, 2017 -
-
metamath-test Public
Forked from david-a-wheeler/metamath-testTest metamath verification implementations
Objective-C++ MIT License UpdatedNov 29, 2016 -
groupid Public
A leiningen template for new projects containing a group-id prefix
Clojure UpdatedNov 10, 2016 -
docjure Public
Forked from mjul/docjureRead and write Office documents from Clojure
Clojure MIT License UpdatedNov 7, 2016 -
-
qrng Public
A clojure interface to the ANU Quantum Random Numbers Server
-