Here are
58 public repositories
matching this topic...
Updated
Apr 29, 2020
JavaScript
🔬 BEDOPS: high-performance genomic feature operations
Set theory applied on sorted and deduplicated slices.
Lectures for the "Problem Solving" Class at Nanjing University.
The lecture notes for my discrete mathematics classes.
Extending the Set class in order to support mathematical set properties and operations.
Updated
Aug 5, 2020
JavaScript
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
Updated
Jun 16, 2020
Rust
Representations of commonly-used sets
Updated
Sep 24, 2019
Julia
Write your programs in the Set Theory!
Updated
May 23, 2020
Python
Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).
Updated
Jul 31, 2020
Ruby
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.
Updated
Apr 26, 2018
Haskell
Set-theory based runtime type system
Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.
Updated
Feb 23, 2020
Rust
Simple LCF-style proof assistant for ZFC
Updated
Nov 2, 2017
Haskell
Space Separated Values. Stellar universal opensource JavaScript library for spaced data. Ideal for classnames and beyond ✨
Updated
Jul 15, 2020
JavaScript
My logic bachelor thesis.
Non Scedastic Automated Visualization Techniques
Updated
Dec 5, 2019
Shell
Create docs, tag them, query everything.
Updated
Jun 1, 2017
JavaScript
Encoding rational and integer numbers with naturals
Updated
Apr 8, 2018
Python
Union and intersection for Datomic Pull syntax
Updated
Sep 27, 2017
Clojure
A desktop application that simulates set operations: union, intersection, difference and complement with a nice GUI.
Tarski-Grothendieck Set Theory
A small math library in c++
🔍 A filter for extracting atomic keyword from queried sentence
Updated
Jan 25, 2017
Java
A Sudoku solver based on set theory.
Updated
Oct 23, 2018
Python
Gossiping Bus Drivers Kata
Chart.js Venn and Euler Diagrams
Updated
Jul 27, 2020
TypeScript
Improve this page
Add a description, image, and links to the
set-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 the
set-theory
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.