20 results found Sort:

159
763
gpl-2.0
37
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Created 2015-02-24
10,176 commits to master branch, last one 3 days ago
23
541
mit
20
An interactive visualization tool for graph theory
Created 2017-03-21
364 commits to master branch, last one about a month ago
109
365
lgpl-3.0
36
Digital Geometry Tools and Algorithm Library
Created 2011-05-06
13,054 commits to master branch, last one 3 days ago
72
346
mit
22
zzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家...
Created 2017-07-13
438 commits to master branch, last one 21 days ago
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Created 2020-07-03
54 commits to master branch, last one 4 months ago
57
204
other
12
Computational algebraic number theory
Created 2015-05-17
6,571 commits to master branch, last one 2 days ago
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
Created 2014-02-25
920 commits to main branch, last one 3 months ago
42
196
unknown
5
My notes about programming and everything related
Created 2018-09-15
1,572 commits to master branch, last one 6 months ago
21
158
other
7
Functional teaching language for use in a discrete mathematics course
Created 2016-06-09
2,116 commits to main branch, last one 8 days ago
16
151
apache-2.0
8
A library for topological network optimization
Created 2021-12-17
255 commits to main branch, last one 6 months ago
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
Created 2022-05-09
272 commits to main branch, last one 8 months ago
[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
Created 2018-11-23
37 commits to master branch, last one 2 years ago
A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE student. Contributions, and report of broken links are welcome.
Created 2018-05-17
12 commits to master branch, last one 2 years ago
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Created 2020-10-20
1,855 commits to master branch, last one 3 months ago
Explain discrete mathematics in details
Created 2019-03-10
32 commits to master branch, last one 3 years ago
Recursos de Matemáticas en Código Facilito
Created 2022-03-06
27 commits to main branch, last one about a year ago
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
Created 2023-04-19
86 commits to master branch, last one 4 months ago