22 results found Sort:

162
823
gpl-2.0
38
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Created 2015-02-24
10,291 commits to master branch, last one a day ago
24
549
mit
20
An interactive visualization tool for graph theory
Created 2017-03-21
367 commits to master branch, last one 2 months ago
117
372
lgpl-3.0
37
Digital Geometry Tools and Algorithm Library
Created 2011-05-06
13,219 commits to master branch, last one a day ago
75
361
mit
22
zzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家...
Created 2017-07-13
441 commits to master branch, last one 25 days ago
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Created 2020-07-03
56 commits to master branch, last one 4 months ago
66
245
other
11
Computational algebraic number theory
Created 2015-05-17
6,731 commits to master branch, last one 16 hours ago
45
215
unknown
6
My notes about programming and everything related
Created 2018-09-15
1,580 commits to master branch, last one about a month ago
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
Created 2014-02-25
921 commits to main branch, last one 3 months ago
23
165
other
6
Functional teaching language for use in a discrete mathematics course
Created 2016-06-09
2,126 commits to main branch, last one 10 days ago
17
151
apache-2.0
8
A library for topological network optimization
Created 2021-12-17
255 commits to main branch, last one about a year 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 about a year ago
[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
Created 2018-11-23
37 commits to master branch, last one 3 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 3 years ago
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
Created 2023-04-19
129 commits to master branch, last one 26 days 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 10 months ago
Explain discrete mathematics in details
Created 2019-03-10
32 commits to master branch, last one 3 years ago
Apunte único de álgebra 1 de EXACTAS UBA en LaTeX, hecha por alumnos
Created 2024-04-12
439 commits to main branch, last one 10 hours ago
Recursos de Matemáticas en Código Facilito
Created 2022-03-06
27 commits to main branch, last one 2 years ago
Software Engineering @ FMI
Created 2022-07-10
164 commits to main branch, last one 4 months ago