set-theory
There are 152 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)
upsetjs/chartjs-chart-venn
Chart.js Venn and Euler Diagrams
leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
noamteyssier/gia
gia: Genomic Interval Arithmetic
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
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]
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.
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
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.
lebrancconvas/Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
yaoguangluo/Deta_Resource
🔥 DNA微分催化与肽计算， 元基花计算，进化计算，遗传计算，智慧计算，索引计算，元基编码，肽展公式，大数据计算分析
ajcr/transfinite
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
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
b4ich3v/Logic_Crusher
A tool for working with Boolean functions and 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.
Hacker-Code-J/Modern-Mathematics
Materials for graduate-level mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra etc.
HarrisonGrodin/SpecialSets.jl
Representations of commonly-used sets
lkdhy/Course-Set-Graph-Theory
“集合与图论”课程学习与复习资料
ryanve/ssv
Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond :two_hearts:
attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
muratcankilic96/topos
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
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.
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC