terkelg/zet

Set() as it should be.

Language: JavaScript - Size: 71.3 KB - Last synced at: 19 days ago - Pushed at: almost 5 years ago - Stars: 519 - Forks: 8

bedops/bedops

:microscope: BEDOPS: high-performance genomic feature operations

Language: C - Size: 93.9 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 327 - Forks: 61

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)

Language: TeX - Size: 11.5 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 150 - Forks: 24

leanprover-community/con-nf

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

Language: Lean - Size: 18.2 MB - Last synced at: about 13 hours ago - Pushed at: 13 days ago - Stars: 69 - Forks: 7

upsetjs/chartjs-chart-venn

Chart.js Venn and Euler Diagrams

Language: TypeScript - Size: 17.3 MB - Last synced at: 19 days ago - Pushed at: 2 months ago - Stars: 67 - Forks: 13

choukh/Set-Theory

A formalization of the textbook Elements of Set Theory

Language: Coq - Size: 3.79 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 59 - Forks: 4

noamteyssier/gia

gia: Genomic Interval Arithmetic

Language: Rust - Size: 3.12 MB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 50 - Forks: 2

Kerollmops/sdset

Set theory applied on sorted and deduplicated slices.

Language: Rust - Size: 422 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 45 - Forks: 2

alexanderatallah/redbase

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

Language: TypeScript - Size: 2.31 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 44 - Forks: 6

choukh/Baby-Set-Theory

Coq集合论中文教程

Language: Coq - Size: 401 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 44 - Forks: 3

Lipen/discrete-math-course

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

Language: TeX - Size: 36.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 36 - Forks: 8

LaMatemaga/CF-Matematicas

Recursos de Matemáticas en Código Facilito

Language: Jupyter Notebook - Size: 6.04 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 35 - Forks: 10

rocq-community/gaia

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

Language: Coq - Size: 2.06 MB - Last synced at: 14 days ago - Pushed at: 29 days ago - Stars: 30 - Forks: 7

staircase-dev/piso

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

Language: Python - Size: 463 KB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 26 - Forks: 2

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

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

Language: TeX - Size: 1.42 GB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 26 - Forks: 4

delonnewman/activerecord-setops

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

Language: Ruby - Size: 656 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 1

haydn/set-fns

∅ A utility library for working with sets.

Language: TypeScript - Size: 179 KB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 0

yaoguangluo/Deta_Resource

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

Size: 157 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 2

alexanderknop/I2DM

The lecture notes for my discrete mathematics classes.

Language: TeX - Size: 56.2 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 5

lebrancconvas/Pure-Mathematics-EBooks

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

Size: 16.6 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3

ajcr/transfinite

Transfinite ordinal arithmetic and factorisation up to epsilon-zero

Language: Python - Size: 449 KB - Last synced at: 17 days ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1

jankapunkt/js-set-extension

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

Language: JavaScript - Size: 1.15 MB - Last synced at: about 19 hours ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 3

gblikas/set-theory-solutions-manual

Solutions for Paul Halmos' Naive Set Theory

Size: 714 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 6

b4ich3v/Logic_Crusher

A tool for working with Boolean functions and sets

Language: Python - Size: 39.7 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 10 - Forks: 0

valhalla-lang/valhallac

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

Language: Rust - Size: 1.2 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1

Hacker-Code-J/Modern-Mathematics

Materials for graduate-level mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra etc.

Language: TeX - Size: 76.4 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 8 - Forks: 0

HarrisonGrodin/SpecialSets.jl

Representations of commonly-used sets

Language: Julia - Size: 36.1 KB - Last synced at: 17 days ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 1

ryanve/ssv

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

Language: JavaScript - Size: 205 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

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.

Language: Agda - Size: 4.67 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1

rocq-community/zorns-lemma 📦

Archived since the contents have been moved to the topology repository

Language: Coq - Size: 91.8 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 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.

Language: Haskell - Size: 31.3 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1

timjb/set-theory-prover

Simple LCF-style proof assistant for ZFC

Language: Haskell - Size: 81.1 KB - Last synced at: 24 days ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

yurrriq/gis

An implementation of David Lewin's Generalized Interval Systems

Language: Idris - Size: 291 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

alussana/TrieSUS

Find the Smallest Unique Subset (SUS), fast

Language: Python - Size: 481 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1

kubikowski/set-utilities

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

Language: TypeScript - Size: 564 KB - Last synced at: 13 days ago - Pushed at: 11 months ago - Stars: 5 - Forks: 2

muratcankilic96/topos

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

Language: C# - Size: 4.14 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

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.

Language: Jupyter Notebook - Size: 130 KB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

amka66/mai

mai: MAth Interpreter with Standard Foundations

Language: Prolog - Size: 177 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 4 - Forks: 1

valhalla-lang/brokkr

Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.

Language: Rust - Size: 42 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0

xolox/python-gentag

Simple and powerful tagging for Python objects

Language: Python - Size: 19.5 KB - Last synced at: 11 days ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 0

benbucksch/jscollection

Collections for JavaScript with dynamic operators to concat, merge, substract, intersect etc. and observe the dynamically calculated result

Language: JavaScript - Size: 182 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1

b97tsk/intervals

A Go library for manipulating sets of intervals.

Language: Go - Size: 80.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

Smoren/partial-intersection-php

M-partial intersection of sets and multisets explanation and examples

Language: PHP - Size: 713 KB - Last synced at: 21 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

FlorianCassayre/master-project

Master Thesis Project at LARA (EPFL)

Language: Scala - Size: 940 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

wearereasonablepeople/typisch

Set-theory based runtime type system

Size: 13.7 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

gioenn/cantor

Encoding rational and integer numbers with naturals

Language: Python - Size: 7.81 KB - Last synced at: 10 days ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0

youssefAli11997/Set-Operations-Simulator

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

Language: Java - Size: 87.9 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

Electrostat-Lab/Project-talk

A repository housing useful models to neatly describe any project in an interview or a conference.

Language: HTML - Size: 959 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

janraak/Redis-Mercator

A suite of module which adds full text search, graph traversal, graph db mapping, full text indexing, buseness rules, set operations and more to a standard REDIS installation.,

Language: C++ - Size: 31.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS

This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.

Language: MATLAB - Size: 4.67 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3

chrdek/LinqDataCalc

📈 🎲 Linq based data statistics set of extensions.

Language: C# - Size: 7.95 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

bl33h/mathematicalSets

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

Language: Python - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

Cypooos/GenOS

an operating system based on PHIL'S tutorial, it has the goal of proposing a different way of storing data, inspired by set theory

Language: Rust - Size: 630 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

lemewynn/euler-set-solver 📦

solving set theory equations

Language: C++ - Size: 146 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

ShrohanMohapatra/PackMFCS

A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)

Language: Python - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

theoremprover-museum/egal

Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory

Language: OCaml - Size: 1.32 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

freesoft/ml-stat-bookmark-kr

셀프/대학원 공부하면서 나름대로 정리해뒀던 통계, 머신러닝 관련 자료 중 한국어로 된 부분들만 추려봤습니다

Size: 19.5 KB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

ahazybellcord/Stoll---Set-Theory-and-Logic

Language: TeX - Size: 12.1 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

adishavit/ordinals

Ordinal Arithmetic in C++

Language: C++ - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

lab-79/datomic-pullups

Union and intersection for Datomic Pull syntax

Language: Clojure - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

mikulas-mrva/bc-thesis

My logic bachelor thesis.

Language: TeX - Size: 37.8 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

sjlee2301/sjlee2301.github.io

Math-101

Language: HTML - Size: 5.48 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

leogaudin/ready_set_boole

42 • An introduction guide to Boolean Algebra, to discover the way computers work mathematically.

Language: Rust - Size: 112 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

Coders-Compass/set

FInite set implementation in the Go Programming Language

Language: Go - Size: 361 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

more-joao/math

A couple of scripts related to mathematics.

Language: Python - Size: 9.77 KB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

p2js/set-theory

rust type-system set theory

Language: Rust - Size: 8.79 KB - Last synced at: 17 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

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.

Language: HTML - Size: 13.7 KB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

kumatheworld/textbook-solutions

Typeset solutions to textbook exercises

Language: TeX - Size: 282 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1

wolcomm/prefixset-rs 📦

A Rust library providing a set-like container for IP prefixes.

Language: Rust - Size: 11.1 MB - Last synced at: 25 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

AlexLamson/vscode-set-operations

VSCode extension to perform set operations on text in VSCode

Language: TypeScript - Size: 123 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

saxarona/tc1003

Discrete Mathematics---A full-course on sets, predicate logic, relations, functions, first order logic, proofs and graph theory

Language: HTML - Size: 4.82 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

8HoLoN/prime-numbers

Prime number sets as mathematical sequence based on sine products.

Language: JavaScript - Size: 127 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

LoicKonan/Discrete-Structures

Discrete Structures & Analysis.

Language: C++ - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

etorres/gossiping-bus-drivers-kata

Gossiping Bus Drivers Kata

Language: Java - Size: 188 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Papich23691/Math

A small math library in c++

Language: C++ - Size: 24.4 KB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

lycantropos/topo 📦

Topology models (intervals, discrete sets, etc.)

Language: Python - Size: 67.4 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

mattiecnvr/sudoku-solver

A Sudoku solver based on set theory.

Language: Python - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

k-alkiek/Sets

Implementation of basic set operations: union, intersection and complement using C++.

Language: C++ - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

danilosampaio/outersections

It Calculates “Outersections” of ranges.

Language: JavaScript - Size: 9.77 KB - Last synced at: 26 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

yjham2002/LFFilter

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

Language: Java - Size: 19.5 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

MaxGavr/set_operations

All operations with sets (union, intersection, etc.)

Language: C++ - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 0

siroshimadenagasaki/stoikheion.github.io

Stoikheion pitch class set calculator

Language: JavaScript - Size: 217 MB - Last synced at: about 2 hours ago - Pushed at: about 4 hours ago - Stars: 0 - Forks: 0

szimel/studious-matematicas

What i've learned in my jump back into mathematics

Language: TypeScript - Size: 2.17 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

ssrucs-phanulab-coursework/652-1002

discrete mathematics with Julia

Language: Julia - Size: 844 KB - Last synced at: 11 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

blandoncj/setTheoryHelper

A tool for set theory operations, subset classification, and mathematical laws.

Language: Java - Size: 11.7 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

Electrostat-Lab/Mathematics-I

Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.

Language: TeX - Size: 1.18 MB - Last synced at: 23 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Anantiz/42_Ready_set_bool

42 Ready set bool in rust. Introduction to boolean algebra and set-theory

Language: Rust - Size: 5.53 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

hossainsmshakib/GoKage-TextSearchEngine

A High-Performance Full-Text Search Engine in Go 🔍

Language: Go - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

FlorentCLMichel/Theorie_Ensembles_Arithmetique

Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).

Language: TeX - Size: 72 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

claby2/axiomatic-set-theory

∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean

Language: Lean - Size: 73.2 KB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

vihdzp/hfs

Hereditarily finite sets in Rust.

Language: Rust - Size: 340 KB - Last synced at: 25 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 1

rhoseininaveh/rhoseininaveh.github.io

Rouholah Hoseini Naveh

Size: 15.7 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

CE-Storage/CE115-DS

Discrete Structures course at Sharif University of Technology

Size: 38.4 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Okwesie/Set-Savants

This project focuses on the intersection of propositional logic, set theory, and Boolean algebra. We have developed a program that enables users to convert propositional expressions—containing variables, conjunctions, disjunctions, negations, and truth values—into various forms, including dual, set notation, and Boolean expression

Language: Python - Size: 7.81 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

driimus/fancy-set 📦

Constrained JavaScript mixin that applies set-theoretic operations to set classes.

Language: JavaScript - Size: 120 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

duong755/vermischt

Học gì ở Toán phổ thông?

Language: TeX - Size: 374 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

zenosaltt/courses-fmi

Appunti di Matematica Discreta, corso Fondamenti Matematici per l'Informatica.

Language: TeX - Size: 4.79 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

ostis-apps/set-ostis-drawings

Language: JavaScript - Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 2

SockRocks/Python-Elementary-Set-Theory-Calculator

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

Language: Python - Size: 395 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

abtsousa/mdma

A collection of class notes and proofs for a Discrete Mathematics university course (in Portuguese). https://abtsousa.github.io/mdma/

Language: HTML - Size: 7.89 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0