Projects in Awesome Lists tagged with set-theory

https://github.com/terkelg/zet

Set() as it should be.

difference intersection set set-theory sets union

Last synced: 20 Dec 2024

https://github.com/bedops/bedops

:microscope: BEDOPS: high-performance genomic feature operations

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

Last synced: 14 Nov 2024

https://github.com/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)

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

Last synced: 20 Dec 2024

https://github.com/upsetjs/chartjs-chart-venn

Chart.js Venn and Euler Diagrams

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

Last synced: 15 Dec 2024

https://github.com/choukh/Set-Theory

A formalization of the textbook Elements of Set Theory

coq formal-languages math set-theory theorem-proving

Last synced: 20 Nov 2024

https://github.com/choukh/set-theory

A formalization of the textbook Elements of Set Theory

coq formal-languages math set-theory theorem-proving

Last synced: 10 Oct 2024

https://github.com/leanprover-community/con-nf

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

lean4 new-foundations set-theory

Last synced: 29 Nov 2024

https://github.com/kerollmops/sdset

Set theory applied on sorted and deduplicated slices.

deduplicated-slices no-allocation set-theory slice

Last synced: 16 Nov 2024

https://github.com/choukh/baby-set-theory

Coq集合论中文教程

coq math set-theory theorem-proving

Last synced: 15 Nov 2024

https://github.com/coq-community/gaia

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

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

Last synced: 24 Nov 2024

https://github.com/staircase-dev/piso

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

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

Last synced: 19 Dec 2024

https://github.com/courses-at-nju-by-hfwei/problem-solving-class-lectures

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

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

Last synced: 12 Nov 2024

https://github.com/delonnewman/activerecord-setops

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

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

Last synced: 10 Dec 2024

https://github.com/lebrancconvas/pure-mathematics-ebooks

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

abstract-algebra e-books mathematical-analysis mathematics pure-mathematics set-theory theoretical-computer-science type-theory

Last synced: 11 Nov 2024

https://github.com/ajcr/transfinite

Transfinite ordinal arithmetic and factorisation up to epsilon-zero

arithmetic factorization ordinals python set-theory transfinite

Last synced: 05 Nov 2024

https://github.com/jankapunkt/js-set-extension

Extending the Set class in order to support mathematical set properties and operations.

complement difference hacktoberfest intersection javascript math powerset proper-subset proper-superset set set-theory subset superset symmetric-difference union

Last synced: 08 Nov 2024

https://github.com/harrisongrodin/specialsets.jl

Representations of commonly-used sets

julia math mathematics set-theory sets

Last synced: 22 Nov 2024

https://github.com/ryanve/ssv

Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond :two_hearts:

blink-182 classes classlist classname classnames css-classes data fleek javascript library opensource set-theory spaced spaces ssv strings values

Last synced: 13 Oct 2024

https://github.com/timjb/set-theory-prover

Simple LCF-style proof assistant for ZFC

hilbert-calculus lcf-style proof-assistant set-theory zfc

Last synced: 22 Oct 2024

https://github.com/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.

hexatonic-collections hexatonic-scales jupyter-notebooks music-theory music21 ordered-pitch-class-intervals ordered-pitch-intervals pitch-intervals post-tonal-theory python set-theory unordered-pitch-class-intervals unordered-pitch-intervals whole-tone-collection whole-tone-scale

Last synced: 04 Dec 2024

https://github.com/yurrriq/gis

An implementation of David Lewin's Generalized Interval Systems

generalized-interval-systems group-theory idris music-theory musical-analysis set-theory

Last synced: 17 Nov 2024

https://github.com/kubikowski/set-utilities

High performance set theory - functional utilities which operate on arbitrary input sets.

difference disjoint equivalence intersection math set set-theory sets subset superset typescript union

Last synced: 21 Dec 2024

https://github.com/xolox/python-gentag

Simple and powerful tagging for Python objects

python query-language set-theory tagging

Last synced: 08 Nov 2024

https://github.com/youssefali11997/set-operations-simulator

A desktop application that simulates set operations: union, intersection, difference and complement with a nice GUI.

java set-theory swing-gui

Last synced: 09 Nov 2024

https://github.com/floriancassayre/master-project

Master Thesis Project at LARA (EPFL)

epfl formal-methods lisa proof-assistant proof-system sequent-calculus set-theory

Last synced: 06 Nov 2024

https://github.com/adishavit/ordinals

Ordinal Arithmetic in C++

mathematics ordinal set-theory

Last synced: 06 Nov 2024

https://github.com/chrdek/linqdatacalc

📈 🎲 Linq based data statistics set of extensions.

calculations calculator data-analysis data-analytics data-science data-statictics extension-methods extensions linq linq-extensions set-theory statistical-analysis statistics

Last synced: 01 Dec 2024

https://github.com/danilosampaio/outersections

It Calculates “Outersections” of ranges.

intersection ranges set-theory

Last synced: 11 Nov 2024

https://github.com/yjham2002/lffilter

:mag: A filter for extracting atomic keyword from queried sentence

filter keyword search-engine set-theory

Last synced: 10 Nov 2024

https://github.com/bl33h/mathematicalsets

A program that manipulates mathematical sets, allowing users to input elements, perform set operations, and search for specific elements.

data-structures discrete-mathematics mathematical-sets python set-operations set-theory

Last synced: 20 Nov 2024

https://github.com/gabrioliv/comparador-de-listas

Ferramenta simples e eficiente para comparar listas de nomes. Compara duas listas (A e B) e retorna os resultados de conjuntos.

conjuntos ferramenta set-theory static-site tool webapplication website

Last synced: 19 Dec 2024

https://github.com/sheabunge/kit103-apps

Applications Assignments for KIT103 Computational Science (Semester 2, 2017) | Total Assignment Grades: 98.5%

discrete-mathematics matrices set-theory

Last synced: 23 Nov 2024

https://github.com/cpmachado/logica-e-teoria-de-conjuntos

Repositório com resoluções e notas do meu percurso pela Licenciatura em Matemática e Aplicações na Universidade Aberta, na cadeira de Lógica e Teoria de Conjuntos.

logic mathematics portuguese-portugal set-theory

Last synced: 06 Nov 2024