22 results found Sort:

DrWaleedAYousef
Teaching DrWaleedAYousef
321
1.0k
gpl-3.0
120
Teaching Materials for Dr. Waleed A. Yousef
statistics mathematics probability programming data-science logic-design optimization digital-design linear-algebra data-structures computer-science image-processing machine-learning data-visualization statistical-models pattern-recognition discrete-mathematics statistical-learning analysis-of-algorithms
Created 2019-01-06
28 commits to master branch, last one 5 months ago
gap-system
gap gap-system
161
814
gpl-2.0
38
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
math algebra mathematics group-theory computer-algebra discrete-mathematics representation-theory computer-algebra-system
Created 2015-02-24
10,252 commits to master branch, last one 6 days ago
erkal
kite erkal
24
547
mit
20
An interactive visualization tool for graph theory
elm graph mathematics graph-editor graph-theory combinatorics visualization graph-algorithms graph-editor-gui discrete-mathematics recreational-mathematics
Created 2017-03-21
367 commits to master branch, last one about a month ago
JiashuWu
Books JiashuWu
342
509
mit
15
My book list
sql book android reading algorithms data-mining data-science reading-list deep-learning computer-vision data-structures design-patterns database-systems machine-learning corpus-linguistics computer-networking discrete-mathematics statistical-learning artificial-intelligence natural-language-processing
Created 2017-09-21
139 commits to master branch, last one 4 months ago
DGtal-team
DGtal DGtal-team
117
370
lgpl-3.0
37
Digital Geometry Tools and Algorithm Library
topology digital-geometry geometry-processing discrete-mathematics computational-geometry
Created 2011-05-06
13,211 commits to master branch, last one 12 days ago
zzllrr
mather zzllrr
75
358
mit
22
zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家...
geek math maths solve solver webapp algebra offline formulae geometry topology mathematics offline-app math-library solve-puzzles linear-algebra solve-equations visualization-tools discrete-mathematics educational-software
Created 2017-07-13
438 commits to master branch, last one 6 months ago
alexanderskulikov
discrete-math-python-scripts alexanderskulikov
128
339
unknown
11
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
bayes logic graphs python python3 induction recursion algorithms enumeration mathematics probability cryptography combinatorics number-theory graph-algorithms dynamic-programming discrete-mathematics combinatorics-and-probability
Created 2020-07-03
56 commits to master branch, last one 3 months ago
thofma
Hecke.jl thofma
66
237
other
11
Computational algebraic number theory
math julia number-theory computer-algebra class-field-theory discrete-mathematics algebraic-number-theory
Created 2015-05-17
6,708 commits to master branch, last one 17 hours ago
Max-Starling
Notes Max-Starling
45
212
unknown
6
My notes about programming and everything related
css git rest redux docker nodejs browser graphql testing bundling database encoding javascript architecture elasticsearch design-patterns computer-science discrete-mathematics programming-language architectural-patterns
Created 2018-09-15
1,580 commits to master branch, last one 15 days ago
oscarlevin
discrete-book oscarlevin
66
211
other
14
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
pretext textbook discrete-mathematics
Created 2014-02-25
921 commits to main branch, last one 2 months ago
disco-lang
disco disco-lang
23
164
other
6
Functional teaching language for use in a discrete mathematics course
teaching discrete-mathematics programming-language functional-programming
Created 2016-06-09
2,122 commits to main branch, last one 2 months ago
google
network-opt google
17
151
apache-2.0
8
A library for topological network optimization
aaai2022 aaai-2022 network-design graph-algorithms electrical-circuits operations-research discrete-mathematics artificial-intelligence combinatorial-optimization
Created 2021-12-17
255 commits to main branch, last one about a year ago
JuliaGraphs
MultilayerGraphs.jl JuliaGraphs
3
120
mit
10
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
graph julia graphs network networks graph-theory julia-package julia-language complex-systems network-science complex-networks graph-algorithms network-analysis multilayer-graphs multilayer-network multiplex-networks multilayer-networks discrete-mathematics graph-theory-analysis graph-theory-algorithms
Created 2022-05-09
272 commits to main branch, last one about a year ago
ChanchalKumarMaji
Introduction-to-Discrete-Mathematics-for-Computer-Science-Specialization ChanchalKumarMaji
51
110
mit
4
[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
coursera probability cryptography graph-theory combinatorics number-theory discrete-mathematics coursera-discrete-mathematics
Created 2018-11-23
37 commits to master branch, last one 3 years ago
rafi007akhtar
CSE-resources rafi007akhtar
23
84
unknown
7
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.
git dbms github android algorithm networking deep-learning automata-theory web-development machine-learning operating-systems discrete-mathematics software-engineering computer-architecture computer-organization
Created 2018-05-17
12 commits to master branch, last one 2 years ago
muhammedogz
GTU-University-Assignments muhammedogz
5
76
unknown
1
Assignments from Gebze Technical University Computer Science Depertmant
c cpp oop java mutex python sockets threads processes probability compiler-design data-structures computer-science dynamic-programming discrete-mathematics homework-assignments computer-organization programming-languages object-oriented-programming algorithms-and-data-structures
Created 2021-03-06
619 commits to master branch, last one about a year ago
spamegg1
Epp-Discrete-Math-5th-solutions spamegg1
18
75
other
5
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
sets big-o logic trees graphs proofs circuits counting functions relations probability number-theory computer-science regular-expressions discrete-mathematics finite-state-automata algorithmic-complexity
Created 2023-04-19
104 commits to master branch, last one 14 days ago
coq-community
hydra-battles coq-community
12
68
mit
9
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq formal-proofs hydra-battles coq-nix-toolbox docker-coq-action ordinal-notations discrete-mathematics primitive-recursive-functions
Created 2020-10-20
1,855 commits to master branch, last one 9 months ago
iamNCJ
Discrete_Mathematics_Explained_in_Detail iamNCJ
14
55
unknown
1
Explain discrete mathematics in details
discrete-mathematics
Created 2019-03-10
32 commits to master branch, last one 3 years ago
nad-garraz
algebraUno nad-garraz
1
37
unknown
2
Apunte único de álgebra 1 de EXACTAS UBA en LaTeX, hecha por alumnos
latex maths algebra student-project discrete-mathematics
Created 2024-04-12
333 commits to main branch, last one 3 days ago
LaMatemaga
CF-Matematicas LaMatemaga
10
37
mit
2
Recursos de Matemáticas en Código Facilito
logic spanish set-theory mathematics graph-theory codigo-facilito discrete-mathematics programming-exercises fundamentals-of-programming
Created 2022-03-06
27 commits to main branch, last one 2 years ago
andy489
Software_Engineering_State_Exam andy489
3
34
unknown
1
Software Engineering @ FMI
analysis databases algorithms automatons statistics operating-systems quality-assurance discrete-mathematics
Created 2022-07-10
164 commits to main branch, last one 3 months ago