set-theory
There are 141 repositories under set-theory topic.
terkelg/zet
Set() as it should be.
bedops/bedops
:microscope: BEDOPS: high-performance genomic feature operations
spamegg1/Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
noamteyssier/gia
gia: Genomic Interval Arithmetic
upsetjs/chartjs-chart-venn
Chart.js Venn and Euler Diagrams
Kerollmops/sdset
Set theory applied on sorted and deduplicated slices.
alexanderatallah/redbase
A simple, fast, type-safe database on top of Redis
choukh/Baby-Set-Theory
Coq集合论中文教程
LaMatemaga/CF-Matematicas
Recursos de Matemáticas en Código Facilito
coq-community/gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
courses-at-nju-by-hfwei/problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
staircase-dev/piso
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
haydn/set-fns
∅ A utility library for working with sets.
delonnewman/activerecord-setops
Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).
alexanderknop/I2DM
The lecture notes for my discrete mathematics classes.
yaoguangluo/Deta_Resource
🔥 DNA微分催化与肽计算, 元基花计算,进化计算,遗传计算,智慧计算,索引计算,元基编码,肽展公式,大数据计算分析
lebrancconvas/Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
gblikas/set-theory-solutions-manual
Solutions for Paul Halmos' Naive Set Theory
jankapunkt/js-set-extension
Extending the Set class in order to support mathematical set properties and operations.
valhalla-lang/valhallac
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
ajcr/transfinite
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
HarrisonGrodin/SpecialSets.jl
Representations of commonly-used sets
Lolirofle/stuff-in-agda
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
coq-community/zorns-lemma
Archived since the contents have been moved to the topology repository
ptek/skeletal-set
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.
ryanve/ssv
Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond :two_hearts:
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
kubikowski/set-utilities
High performance set theory - functional utilities which operate on arbitrary input sets.
muratcankilic96/topos
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
musicus/Post-Tonal-Vade-mecum
A collection of jupyter notebooks solving post-tonal music theory problems you didn't know you had using python and music21.
yurrriq/gis
An implementation of David Lewin's Generalized Interval Systems
valhalla-lang/brokkr
Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.