9 results found Sort:

bedops
bedops bedops
59
291
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 about a year ago
spamegg1
Math-for-CS-solutions spamegg1
23
122
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
62 commits to master branch, last one 9 months ago
choukh
Set-Theory choukh
5
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 2 years ago
leanprover-community
con-nf leanprover-community
2
55
unknown
17
A formal consistency proof of Quine's set theory New Foundations
lean4 set-theory new-foundations
Created 2022-03-31
1,131 commits to main branch, last one about a month ago
noamteyssier
gia noamteyssier
2
49
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 about a month ago
upsetjs
chartjs-chart-venn upsetjs
9
49
mit
4
Chart.js Venn and Euler Diagrams
euler chartjs set-theory venndiagram venn-diagram euler-diagram chartjs-plugin
Created 2020-06-08
240 commits to main branch, last one 18 days ago
alexanderatallah
redbase alexanderatallah
6
42
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
choukh
Baby-Set-Theory choukh
3
41
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
LaMatemaga
CF-Matematicas LaMatemaga
10
35
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 about a year ago