set-theory 开源项目推荐（242 个）

terkelg /zet

Set（），就像它应该的那样。

bedops /bedops

🔬 BEDOPS: high-performance genomic feature operations

spamegg1 /Math-for-CS-solutions

MIT 计算机科学数学 2015 课程的课堂问题、习题集和考试的解答（与 2019 Open Learning Library 相同）

Lipen /discrete-math-course

🌌 Supplementary materials for Discrete Math course at ITMO University

leanprover-community /con-nf

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

upsetjs /chartjs-chart-venn

Chart.js Venn and Euler Diagrams

noamteyssier /gia

gia: Genomic Interval Arithmetic

choukh /Set-Theory

A formalization of the textbook Elements of Set Theory

alexanderatallah /redbase

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

Kerollmops /sdset

Set theory applied on sorted and deduplicated slices.

ratneshmaurya /Aptitude_Practice_Questions

Ultimate resource for solving aptitude questions from the basics. Whether you're preparing for exams, interviews, or simply want to enhance your problem-solving abilities, this repository has you covered.

choukh /Baby-Set-Theory

Coq集合论中文教程

LaMatemaga /CF-Matematicas

Recursos de Matemáticas en Código Facilito

rocq-community /gaia

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

ioannad /jeffrey

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.net/idimitriou/jeffrey

courses-at-nju-by-hfwei /problem-solving-class-lectures

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

staircase-dev /piso

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

delonnewman /activerecord-setops

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

haydn /set-fns

∅ A utility library for working with sets.

lebrancconvas /Pure-Mathematics-EBooks

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