179 results for “topic:set-theory”
Set() as it should be.
:microscope: BEDOPS: high-performance genomic feature operations
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
:milky_way: Supplementary materials for Discrete Math course at ITMO University
A formal consistency proof of Quine's set theory New Foundations
Chart.js Venn and Euler Diagrams
gia: Genomic Interval Arithmetic
A formalization of the textbook Elements of Set Theory
Set theory applied on sorted and deduplicated slices.
A simple, fast, type-safe database on top of Redis
Coq集合论中文教程
Recursos de Matemáticas en Código Facilito
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.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
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
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).
∅ A utility library for working with sets.
The lecture notes for my discrete mathematics classes.
E-Books Library for someone who interested in Pure Mathematics.
Solutions for Paul Halmos' Naive Set Theory
🔥 DNA微分催化与肽计算， 元基花计算，进化计算，遗传计算，智慧计算，索引计算，元基编码，肽展公式，大数据计算分析
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
“集合与图论”课程学习与复习资料
A tool for working with Boolean functions and sets
Extending the Set class in order to support mathematical set properties and operations.
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
Representations of commonly-used sets