Pinned Repositories
JGEX_SagaciousMatterFork
Refactor of JGEX Java Geometry Expert
prover9nudge
Plumbing for a system to automagically recommend hints for Prover9
BigInt
Arbitrary-precision arithmetic in pure Swift
BusyBeaver
Constructs busy-beavers for abacus computers
datasciencecoursera
Assignments for Coursera R Course
datasharing
The Leek group guide to data sharing
ProjectLine
Automated Reasoning Algorithms for The Theory of Linear Structures
codeBuffaloTeam1
brassogre's Repositories
brassogre/BigInt
Arbitrary-precision arithmetic in pure Swift
brassogre/datasciencecoursera
Assignments for Coursera R Course
brassogre/datasharing
The Leek group guide to data sharing
brassogre/BusyBeaver
Constructs busy-beavers for abacus computers
brassogre/ProjectLine
Automated Reasoning Algorithms for The Theory of Linear Structures
brassogre/prover9nudge
Plumbing for a system to automagically recommend hints for Prover9
brassogre/JGEX_SagaciousMatterFork
Refactor of JGEX Java Geometry Expert