Movatterモバイル変換

Skip to content

#

set-theory

Here are 175 public repositories matching this topic...

Language:All

Filter by language

All175 TeX26 Python22 Rust14 C++11 JavaScript10 TypeScript9 C7 HTML6 Rocq Prover5 Haskell5

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

zet

terkelg /zet

Set() as it should be.

set set-theory union intersection difference sets

UpdatedApr 29, 2020
JavaScript

bedops /bedops

🔬 BEDOPS: high-performance genomic feature operations

c c-plus-plus set bioinformatics compression pipeline genomics toolkit conversion parallel set-theory bed bedops

UpdatedApr 29, 2025
C

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)

computer-science calculus math graph solution functions logic probability set-theory graph-theory counting proofs induction rsa-cryptography number-theory sets random-walks

UpdatedSep 2, 2024
TeX

Lipen /discrete-math-course

🌌 Supplementary materials for Discrete Math course at ITMO University

tex homework set-theory cheatsheet discrete-mathematics graph-theory combinatorics binary-relations boolean-satisfiability formal-logic typst

UpdatedDec 15, 2025
Typst

con-nf

leanprover-community /con-nf

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

set-theory lean4 new-foundations

UpdatedJun 18, 2025
Lean

upsetjs /chartjs-chart-venn

Chart.js Venn and Euler Diagrams

euler chartjs set-theory venn-diagram euler-diagram chartjs-plugin venndiagram

UpdatedDec 2, 2025
TypeScript

noamteyssier /gia

gia: Genomic Interval Arithmetic

genomics set-theory bedops bedtools intervals set-operations

UpdatedAug 21, 2024
Rust

choukh /Set-Theory

A formalization of the textbook Elements of Set Theory

math coq theorem-proving set-theory formal-languages

UpdatedSep 30, 2021
Coq

Kerollmops /sdset

Set theory applied on sorted and deduplicated slices.

no-allocation set-theory slice deduplicated-slices

UpdatedOct 10, 2022
Rust

choukh /Baby-Set-Theory

Coq集合论中文教程

math coq theorem-proving set-theory

UpdatedDec 17, 2021
Coq

alexanderatallah /redbase

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

redis caching typescript redis-database set-theory

UpdatedJul 14, 2023
TypeScript

LaMatemaga /CF-Matematicas

Recursos de Matemáticas en Código Facilito

logic mathematics set-theory spanish discrete-mathematics graph-theory programming-exercises fundamentals-of-programming codigo-facilito

UpdatedSep 28, 2022
Jupyter Notebook

rocq-community /gaia

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

coq set-theory ssreflect mathcomp docker-coq-action bourbaki mathcomp-ci

UpdatedJun 27, 2025
Rocq Prover

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.

percentages set-theory permutation averages profit-loss probablity hcf-lcm alligations ratio-proportion blood-relation

UpdatedAug 13, 2023

ioannad /jeffrey

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

common-lisp set-theory graphviz-dot axiom-of-choice

UpdatedMay 21, 2025
Common Lisp

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

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

course-materials algorithms logic linear-programming set-theory discrete-mathematics graph-theory group-theory lecture-notes number-theory abstract-algebra nanjing-university computational-complexity nju-courses discrete-probability

UpdatedJun 29, 2020
TeX

piso

staircase-dev /piso

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

set data-science pandas set-theory data-structures data-analysis interval interval-arithmetic set-operations interval-set

UpdatedJan 2, 2025
Python

delonnewman /activerecord-setops

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

ruby ruby-gem activerecord set query sql set-theory arel relational-databases ruby-on-rails relational-database relational-algebra set-operations sets activerecord-queries activerecord-extension sql-unionall sql-union sql-intersect sql-except

UpdatedAug 14, 2025
Ruby

set-fns

haydn /set-fns

∅ A utility library for working with sets.

set-theory sets

UpdatedJun 5, 2022
TypeScript

I2DM

alexanderknop /I2DM

The lecture notes for my discrete mathematics classes.

set-theory graph-theory game-theory combinatorics lecture-notes mathematical-logic probability-theory computability-theory combinatorial-game-theory mathematical-reasoning

UpdatedJul 10, 2023
TeX

Improve this page

Add a description, image, and links to theset-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theset-theory topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp