-
update-winget Public
Forked from mjcheetham/update-wingetTypeScript MIT License UpdatedOct 6, 2020 -
update-homebrew Public
Forked from mjcheetham/update-homebrewTypeScript MIT License UpdatedOct 1, 2020 -
homebrew-git Public
Forked from microsoft/homebrew-gitHomebrew Tap for Microsoft's Git projects.
Ruby MIT License UpdatedAug 26, 2020 -
-
-
-
-
Progressions Public
Searching for quasi- and pseudo-arithmetic progressions
-
MMSConjecture Public
A linear programming approach to the Manickam-Miklos-Singhi Conjecture
C++ UpdatedJun 8, 2020 -
PosetDimension Public
Given a list of posets (as comparability matrices) test if they contain a standard example or if their dimension is too high
C++ UpdatedJun 8, 2020 -
-
DistanceGraphs Public
Searching for maximum independent sets in distance graphs and circulant graphs.
C++ UpdatedJun 8, 2020 -
Coloring Public
Simple algorithm to check list-colorability and reducibility
Shell UpdatedJun 8, 2020 -
ChainCounting Public
Counting chains in width-two posets with few split pairs
-
git-sparse-checkout-test Public
A test repo for testing the sparse-checkout feature
1 UpdatedJan 28, 2020 -
-
watchman Public
Forked from facebook/watchmanWatches files and records, or triggers actions, when they change.
C++ Apache License 2.0 UpdatedNov 25, 2019 -
derive Public
Forked from erik/deriveGenerate personal heatmap from GPX/TCX/FIT data
JavaScript MIT License UpdatedSep 28, 2019 -
gen-test Public
Test scripts for testing new versions of generation numbers
-
-
-
-
-
stryker-net Public
Forked from stryker-mutator/stryker-netMutation testing for .NET core and .NET framework!
C# Apache License 2.0 UpdatedApr 22, 2019 -
numbers Public
Forked from smallnumbers/numbersA collection of combinatorial functions and their values on small numbers
-
bdfl Public
BFDL: A 100% accurate simulation of OSS maintenance
-
ls-git Public
Forked from eth-p/ls-gitA happy union of `ls` and `git status`.
Perl UpdatedOct 25, 2018 -
gitgitgadget Public
Forked from gitgitgadget/gitgitgadgetA gadget
TypeScript ISC License UpdatedJul 17, 2018 -
ColorBlindIndex Public
Contains the Sage worksheet for "Color-blind index in graphs of very low degree"
UpdatedFeb 8, 2017 -
RainbowAPs Public
Finding anti-Ramsey numbers for arithmetic progressions in [n] and Z_n.
C++ UpdatedAug 6, 2016
{{ message }}