set-theory

Set() as it should be.

🔬 BEDOPS: high-performance genomic feature operations

😎 📜 Collection of the most awesome Maths learning resources in the form of notes, videos and cheatsheets.

A formalization of the textbook Elements of Set Theory

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

Set theory applied on sorted and deduplicated slices.

Coq集合论中文教程

Recursos de Matemáticas en Código Facilito

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

Chart.js Venn and Euler Diagrams

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

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

∅ A utility library for working with sets.

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

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

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

The lecture notes for my discrete mathematics classes.

Extending the Set class in order to support mathematical set properties and operations.

🌌 Supplementary materials for Discrete Math course at ITMO University

Solutions for Paul Halmos' Naive Set Theory