set-theory
Here are 141 public repositories matching this topic...
Avances y algunos documentos relacionados con mi Tesis de Grado titulada como: "Algunos Resultados sobre Filtros Medibles sobre N". Estos docuementos exponen algunos resultados clásicos de Teoría de Conjuntos, Análisis Funcional, Topología, Teoría de Filtros sobre N y Teoría de la Medida; que han sido usados durante mi Trabajo de Grado.
-
Updated
Jun 1, 2023
A collection of jupyter notebooks solving post-tonal music theory problems you didn't know you had using python and music21.
-
Updated
Oct 6, 2021 - Jupyter Notebook
-
Updated
Nov 9, 2019 - C
A Sudoku solver based on set theory.
-
Updated
Oct 23, 2018 - Python
Find the Smallest Unique Subset (SUS), fast
-
Updated
Dec 20, 2023 - Python
A Python library designed to be exceptionally user friendly and fast. Recommended usages for this library are for new to intermediate level math/comsci majors being introduced to set theory for the first time. Features include: Simple set object, set union calculation, set intersection calculation, power set calculation, cartesian product, and more
-
Updated
Apr 3, 2024 - Python
-
Updated
Apr 9, 2020 - Agda
🧮 An ASCII Mandelbrot zoom in C.
-
Updated
Oct 23, 2023 - C
A Rust library providing a set-like container for IP prefixes.
-
Updated
Apr 21, 2023 - Rust
discrete mathematics with Julia
-
Updated
Jun 8, 2024 - Julia
A versatile C# set data structure for managing collections of elements, supporting essential set operations
-
Updated
Jan 29, 2024 - C#
Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory
-
Updated
Jul 15, 2021 - OCaml
Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond 💕
-
Updated
Jul 18, 2023 - JavaScript
A desktop application that simulates set operations: union, intersection, difference and complement with a nice GUI.
-
Updated
Oct 1, 2017 - Java
Simple LCF-style proof assistant for ZFC
-
Updated
Nov 2, 2017 - Haskell
An implementation of David Lewin's Generalized Interval Systems
-
Updated
Dec 29, 2021 - Idris
Improve this page
Add a description, image, and links to the set-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the set-theory topic, visit your repo's landing page and select "manage topics."