Set() as it should be.

🔬 BEDOPS: high-performance genomic feature operations

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

A formal consistency proof of Quine's set theory New Foundations

Chart.js Venn and Euler Diagrams

A formalization of the textbook Elements of Set Theory

gia: Genomic Interval Arithmetic

Set theory applied on sorted and deduplicated slices.

A simple, fast, type-safe database on top of Redis

Coq集合论中文教程

Recursos de Matemáticas en Código Facilito

🌌 Supplementary materials for Discrete Math course at ITMO University

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Lectures for the "Problem Solving" Class at Nanjing University.

Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex

∅ A utility library for working with sets.

Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).

The lecture notes for my discrete mathematics classes.

🔥 DNA微分催化与肽计算， 元基花计算，进化计算，遗传计算，智慧计算，索引计算，元基编码，肽展公式，大数据计算分析

E-Books Library for someone who interested in Pure Mathematics.