Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
brozek / TPTP-Examples
OpenEdge ABL 0 0
Example axiom and problem files within the TPTP Format
automated-theorem-proving tptp
Updated 2023-11-09 23:49:37 -05:00
brozek / bodypix-background
JavaScript 0 0
Create a video camera with a different background
Updated 2023-11-09 23:49:20 -05:00
brozek / sentenceworthy.com
HTML 0 0
Public archive of sentenceworthy.com
Updated 2023-11-09 23:47:49 -05:00
github / magic
C 0 0
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 10:41:42 -04:00
brozek / Rozbot
JavaScript 0 0
Updated 2016-08-18 17:18:48 -04:00
brozek / php-workflow
Shell 0 0
Updated 2016-07-13 00:04:18 -04:00
brozek / Fractions.js
JavaScript 0 0
Updated 2015-12-22 00:42:56 -05:00