-
dapper Public
Forked from markdbenson/dapperA publishing tool for static websites.
Perl UpdatedMay 20, 2025 -
sharpsat-td Public
Forked from Laakeri/sharpsat-tdEntry to model counting competition 2021.
C++ Other UpdatedApr 2, 2025 -
M2 Public
Forked from Macaulay2/M2The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Macaulay2 UpdatedMar 26, 2025 -
-
-
Oscar.jl Public
Forked from oscar-system/Oscar.jlA comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Julia Other UpdatedJun 21, 2024 -
-
rddm23 Public
Worksheet for the Research Data in Discrete Mathematics hands-on session
-
App-Muletracks Public
Downloader for Gov't Mule live recordings (erstwhile sold via "Muletracks")
-
-
-
Workshop-on-Software-and-Applications-of-Numerical-Nonlinear-Algebra Public
Forked from PBrdng/Workshop-on-Software-and-Applications-of-Numerical-Nonlinear-AlgebraJupyter Notebook UpdatedMay 31, 2021 -
gambas3 Public
Mirror of the Gambas repository.
C GNU General Public License v2.0 UpdatedJan 10, 2021 -
-
MoarVM Public
Forked from MoarVM/MoarVMA VM with adaptive optimization and JIT compilation, built for Rakudo
C Other UpdatedSep 24, 2020 -
ganak Public
Forked from meelgroup/ganakThe first scalable probabilistic exact counter
C++ MIT License UpdatedSep 11, 2020 -
dsharp Public
git mirror + fork of dsharp #SAT solver (original: http://www.haz.ca/research/dsharp/)
C++ GNU General Public License v2.0 UpdatedSep 9, 2020 -
nbc_minisat_all Public
Git mirror of Takahisa Toda's nbc_minisat_all AllSAT solver
C Other UpdatedSep 8, 2020 -
advent Public
Forked from Raku/adventContains all data relating to the annual Raku Advent event held 1-25 December
HTML UpdatedAug 13, 2020 -
Perl 6 documentation (tools and docs)
Raku Artistic License 2.0 UpdatedJul 29, 2020 -
-
libpropcalc Public
All-in-one, FFIable propositional calculus package
-
simecek-tools Public
Tools for reading Petr Šimeček's files on representability of CI structures on 4 random variables
-
rakudo Public
Forked from rakudo/rakudoRakudo Perl 6 – Perl 6 on MoarVM and the JVM
Perl 6 Artistic License 2.0 UpdatedMar 1, 2020 -
-
-
tappp-header-old Public archive
Forked from Leont/libperl--Header-only C++ TAP producer
C++ Other UpdatedFeb 4, 2020 -
grealize Public
A gaussoid to realization space compiler
Perl 6 Artistic License 2.0 UpdatedJan 20, 2020 -
raku-Junction-Guts Public
Access the storage and type of a Junction under Rakudo
Perl 6 Artistic License 2.0 UpdatedJan 20, 2020 -
graph-ci Public
Compute separation in undirected graphs and DAGs
Perl Artistic License 2.0 UpdatedJan 20, 2020
{{ message }}