-
metamath-website-seed Public
Forked from metamath/metamath-website-seedStarting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
HTML Other UpdatedMay 8, 2024 -
jvonk.github.io Public
Forked from jvonk/jvonk.github.ioMy personal website
HTML GNU General Public License v3.0 UpdatedApr 11, 2023 -
qsopt-ex-segfaultdebugging Public
Forked from jonls/qsopt-exQSopt_ex - an exact linear programming solver. This is a fork adding improvements to the build system, library and a Python interface.
C GNU General Public License v3.0 UpdatedApr 7, 2023 -
-
-
electrum Public
Forked from spesmilo/electrumElectrum Bitcoin Wallet
Python MIT License UpdatedAug 9, 2020 -
-
Moonshine_Machine Public
We want to automatically detect future monstrous moonshine like instances.
C++ UpdatedApr 22, 2020 -
TreeSlicer Public
A 0-1 Integer Programming Solver Using a variety of techniques
Python UpdatedAug 19, 2016 -
-
SymbolicCalculus Public
a library for detecting and repairing removable discontinuities in functions symbolically using sympy
1 UpdatedJun 29, 2016 -
-
MachineLearningHw Public
536 Homework... after I deleted my own source files once this is a neccesity
UpdatedFeb 28, 2016 -
-
GandhiTrump Public
The name of our Repository does not reflect the content contained
Python UpdatedOct 4, 2015 -
-
MetaNumberSystems Public
We now consider the world of number systems as simply considering subsections of infinite graphs
Python UpdatedSep 11, 2015 -
-
-
-
-
RingWarrior Public
A loose collection of tools for documenting and classiying abstract algebraic structures
Python UpdatedJul 5, 2015 -
RutgersProjectEuler Public
ProjectEuler problems by the Rutgers Community
Python UpdatedJul 5, 2015 -
-
-
{{ message }}