There are 2 repositories under set-theory topic.
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
A formalization of the textbook Elements of Set Theory
A formal consistency proof of Quine's set theory New Foundations
Chart.js Venn and Euler Diagrams
gia: Genomic Interval Arithmetic
Set theory applied on sorted and deduplicated slices.
A simple, fast, type-safe database on top of Redis
Recursos de Matemáticas en Código Facilito
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
:milky_way: Supplementary materials for Discrete Math course at ITMO University
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
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.
Solutions for Paul Halmos' Naive Set Theory
Extending the Set class in order to support mathematical set properties and operations.
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
Representations of commonly-used sets
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
Archived since the contents have been moved to the topology repository
A Haskell implementation of a skeletal set - a set equipped with an equivalence relation which is usually different from equality. This makes it more strict regarding membership of elements than a set.
Simple LCF-style proof assistant for ZFC
High performance set theory - functional utilities which operate on arbitrary input sets.
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
A collection of jupyter notebooks solving post-tonal music theory problems you didn't know you had using python and music21.
Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.