set-theory

There are 2 repositories under set-theory topic.

• zet

  terkelg / zet

  Set() as it should be.

  setssetset-theoryintersectionuniondifference
  Language:JavaScript 521
• Awesome-Maths-Learning

  tensorush / Awesome-Maths-Learning

  😎 📜 Collection of the most awesome Maths learning resources in the form of notes, videos and cheatsheets.

  mathcheatsheetsmathematicslecture-notesprobabilitycalculusmachine-learningdeep-learninglinear-algebracheatsheetgroup-theoryawesome-listmath-cheatsheetsmeasure-theorynumber-theoryset-theorygraph-theorydiscrete-mathematicstopologyinformation-theory
  296

• bedops / bedops

  :microscope: BEDOPS: high-performance genomic feature operations

  bedopscc-plus-plusbedgenomicssetset-theoryconversioncompressiontoolkitparallelpipelinebioinformatics
  Language:C 290

• 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)

  calculuscomputer-sciencecountingfunctionsgraphgraph-theoryinductionlogicmathnumber-theoryprobabilityproofsrandom-walksrsa-cryptographyset-theorysetssolution
  Language:TeX 113

• choukh / Set-Theory

  A formalization of the textbook Elements of Set Theory

  coqformal-languagesmathset-theorytheorem-proving
  Language:Coq 58

• Kerollmops / sdset

  Set theory applied on sorted and deduplicated slices.

  deduplicated-slicessliceset-theoryno-allocation
  Language:Rust 46

• upsetjs / chartjs-chart-venn

  Chart.js Venn and Euler Diagrams

  chartjsvenn-diagramvenndiagramset-theorychartjs-plugineulereuler-diagram
  Language:TypeScript 46

• noamteyssier / gia

  gia: Genomic Interval Arithmetic

  bedopsbedtoolsgenomicsintervalsset-operationsset-theory
  Language:Rust 45

• alexanderatallah / redbase

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

  cachingredisredis-databaseset-theorytypescript
  Language:TypeScript 41

• choukh / Baby-Set-Theory

  Coq集合论中文教程

  coqmathset-theorytheorem-proving
  Language:Coq 41

• LaMatemaga / CF-Matematicas

  Recursos de Matemáticas en Código Facilito

  discrete-mathematicsspanishprogramming-exerciseslogicset-theoryfundamentals-of-programminggraph-theorymathematicscodigo-facilito
  Language:Jupyter Notebook 35

• coq-community / gaia

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

  coqbourbakiset-theorymathcompssreflectdocker-coq-actionmathcomp-ci
  Language:Coq 25
• piso

  staircase-dev / piso

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

  pandassetintervalinterval-setinterval-arithmeticdata-analysisdata-sciencedata-structuresset-operationsset-theory
  Language:Python 25

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

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

  lecture-notescourse-materialslinear-programminggroup-theorynumber-theorynanjing-universitycomputational-complexitylogicset-theorydiscrete-mathematicsdiscrete-probabilityalgorithmsabstract-algebragraph-theorynju-courses
  Language:TeX 24

• Lipen / discrete-math-course

  :milky_way: Supplementary materials for Discrete Math course at ITMO University

  discrete-mathematicstexcheatsheethomeworkbinary-relationscombinatoricsformal-logicgraph-theoryset-theory
  Language:TeX 23
• set-fns

  haydn / set-fns

  ∅ A utility library for working with sets.

  setsset-theory
  Language:TypeScript 22

• delonnewman / activerecord-setops

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

  rubyruby-on-railsruby-gemsqlactiverecordqueryarelsql-unionallsql-unionsql-intersectsql-exceptsetsetsset-operationsset-theoryrelational-databaserelational-databasesrelational-algebraactiverecord-queriesactiverecord-extension
  Language:Ruby 21
• I2DM

  alexanderknop / I2DM

  The lecture notes for my discrete mathematics classes.

  lecture-notesmathematical-reasoningcombinatoricsmathematical-logiccomputability-theorycombinatorial-game-theorygraph-theoryprobability-theorygame-theoryset-theory
  Language:TeX 18

• yaoguangluo / Deta_Resource

  🔥 DNA微分催化与肽计算， 元基花计算，进化计算，遗传计算，智慧计算，索引计算，元基编码，肽展公式，大数据计算分析

  backend-servicesconcurrent-data-structureset-theorystatic-libraryrestful-webservicesschedulardnadna-initonsdna-computing
  17

• jankapunkt / js-set-extension

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

  javascriptsetset-theorymathunionintersectionsubsetsupersetdifferencecomplementsymmetric-differencepowersetproper-subsetproper-supersethacktoberfest
  Language:JavaScript 13

• lebrancconvas / Pure-Mathematics-EBooks

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

  mathematicspure-mathematicse-booksset-theorytype-theorymathematical-analysisabstract-algebratheoretical-computer-science
  13

• gblikas / set-theory-solutions-manual

  Solutions for Paul Halmos' Naive Set Theory

  latexmathematicsset-theoryset-therory
  11

• valhalla-lang / valhallac

  Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge

  valhallaset-theorylanguageprogramming-languageparserfront-endcompilerpratt-parserbytecoderustbytecode-compilationcurrymarshalsyntaxanalysisstatic-analysisoptimizationoptimizing-compiler
  Language:Rust 10

• ajcr / transfinite

  Transfinite ordinal arithmetic and factorisation up to epsilon-zero

  arithmeticfactorizationordinalspythonset-theorytransfinite
  Language:Python 9

• HarrisonGrodin / SpecialSets.jl

  Representations of commonly-used sets

  juliamathmathematicssetsset-theory
  Language:Julia 8

• 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.

  agdacategory-theorydata-structuresdependent-typesformalizationlogicmathematicsmathematics-libraryproofsset-theorytheorem-provingtype-theoryverification
  Language:Agda 8

• coq-community / zorns-lemma

  Archived since the contents have been moved to the topology repository

  coqcoq-libraryset-theory
  Language:Coq 6

• 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.

  haskellsetoidset-theory
  Language:Haskell 6
• ssv

  ryanve / ssv

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

  javascriptstringsssvclassnamescss-classesopensourcespacesblink-182spacedclassesclassnamedataclasslistfleekvalueslibraryset-theory
  Language:JavaScript 6

• timjb / set-theory-prover

  Simple LCF-style proof assistant for ZFC

  set-theoryproof-assistantlcf-stylezfchilbert-calculus
  Language:Haskell 6

• muratcankilic96 / topos

  Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).

  mathset-theorynumber-theorymathematicszfc
  Language:C# 5

• 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.

  pythonmusic21jupyter-notebooksset-theorymusic-theoryhexatonic-scaleshexatonic-collectionspitch-intervalsordered-pitch-intervalsunordered-pitch-intervalsordered-pitch-class-intervalsunordered-pitch-class-intervalspost-tonal-theorywhole-tone-scalewhole-tone-collection
  Language:Jupyter Notebook 5

• yurrriq / gis

  An implementation of David Lewin's Generalized Interval Systems

  music-theorygroup-theorygeneralized-interval-systemsmusical-analysisset-theoryidris
  Language:Idris 5

• Borschemancer / axiomatic-sets

  set-theorysets
  Language:Agda 4
• set-utilities

  kubikowski / set-utilities

  A collection of high performance utilities from Set Theory, which operate on an arbitrary number of Sets.

  mathsetset-theorytypescriptsetsdifferenceintersectionsubsetuniondisjointequivalencesuperset
  Language:TypeScript 4

• valhalla-lang / brokkr

  Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.

  vmvirtual-machinebytecodebytecode-interpreterassemblervalhallabrokkrset-theory
  Language:Rust 4