9 results found Sort:

bedops
bedops bedops
59
300
other
16
:microscope: BEDOPS: high-performance genomic feature operations
c bed set bedops toolkit genomics parallel pipeline conversion set-theory c-plus-plus compression bioinformatics
Created 2013-09-18
1,918 commits to master branch, last one 2 years ago
spamegg1
Math-for-CS-solutions spamegg1
26
138
other
3
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
math sets graph logic proofs calculus counting solution functions induction set-theory probability graph-theory random-walks number-theory computer-science rsa-cryptography
Created 2022-06-03
63 commits to master branch, last one 2 months ago
upsetjs
chartjs-chart-venn upsetjs
13
67
mit
5
Chart.js Venn and Euler Diagrams
euler chartjs set-theory venndiagram venn-diagram euler-diagram chartjs-plugin
Created 2020-06-08
279 commits to main branch, last one 3 days ago
leanprover-community
con-nf leanprover-community
6
66
apache-2.0
17
A formal consistency proof of Quine's set theory New Foundations
lean4 set-theory new-foundations
Created 2022-03-31
1,255 commits to main branch, last one a day ago
choukh
Set-Theory choukh
4
59
mit
2
A formalization of the textbook Elements of Set Theory
coq math set-theory theorem-proving formal-languages
Created 2020-05-08
200 commits to master branch, last one 3 years ago
noamteyssier
gia noamteyssier
2
51
mit
1
gia: Genomic Interval Arithmetic
bedops bedtools genomics intervals set-theory set-operations
Created 2023-08-06
467 commits to main branch, last one 6 months ago
choukh
Baby-Set-Theory choukh
3
43
cc0-1.0
1
Coq集合论中文教程
coq math set-theory theorem-proving
Created 2021-10-01
67 commits to main branch, last one 2 years ago
alexanderatallah
redbase alexanderatallah
6
43
mit
4
A simple, fast, type-safe database on top of Redis
redis caching set-theory typescript redis-database
Created 2023-01-29
56 commits to main branch, last one about a year 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