Topic: set-theory Goto Github
Some thing interesting about set-theory
Some thing interesting about set-theory
set-theory,Transfinite ordinal arithmetic and factorisation up to epsilon-zero
User: ajcr
set-theory,A simple, fast, type-safe database on top of Redis
User: alexanderatallah
set-theory,The lecture notes for my discrete mathematics classes.
User: alexanderknop
set-theory,Find the Smallest Unique Subset (SUS), fast
User: alussana
Home Page: https://pypi.org/project/triesus/
set-theory,mai: MAth Interpreter with standard foundations
User: amka66
set-theory,A Go library for manipulating sets of intervals.
User: b97tsk
set-theory,:microscope: BEDOPS: high-performance genomic feature operations
User: bedops
Home Page: https://bedops.readthedocs.io/
set-theory,Collections for JavaScript with dynamic operators to concat, merge, substract, intersect etc. and observe the dynamically calculated result
User: benbucksch
set-theory,Coq集合论中文教程
User: choukh
Home Page: https://www.zhihu.com/column/c_1428798985025167360
set-theory,A formalization of the textbook Elements of Set Theory
User: choukh
set-theory,Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Organization: coq-community
Home Page: http://www-sop.inria.fr/marelle/gaia/
set-theory,Archived since the contents have been moved to the topology repository
Organization: coq-community
Home Page: https://github.com/coq-community/topology
set-theory,Lectures for the "Problem Solving" Class at Nanjing University.
Organization: courses-at-nju-by-hfwei
set-theory,an operating system based on PHIL'S tutorial, it has the goal of proposing a different way of storing data, inspired by set theory
User: cypooos
set-theory,Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).
User: delonnewman
set-theory,Solutions for Paul Halmos' Naive Set Theory
User: gblikas
set-theory,Representations of commonly-used sets
User: harrisongrodin
set-theory,Extending the Set class in order to support mathematical set properties and operations.
User: jankapunkt
Home Page: https://www.npmjs.com/package/set-extensions
set-theory,Set theory applied on sorted and deduplicated slices.
User: kerollmops
Home Page: https://docs.rs/sdset
set-theory,High performance set theory - functional utilities which operate on arbitrary input sets.
User: kubikowski
Home Page: https://www.npmjs.com/package/set-utilities
set-theory,Recursos de Matemáticas en Código Facilito
User: lamatemaga
set-theory,A formal consistency proof of Quine's set theory New Foundations
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/con-nf/
set-theory,E-Books Library for someone who interested in Pure Mathematics.
User: lebrancconvas
set-theory,:milky_way: Supplementary materials for Discrete Math course at ITMO University
User: lipen
set-theory,Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
User: lolirofle
set-theory,My logic bachelor thesis.
User: mikulas-mrva
set-theory,Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
User: muratcankilic96
set-theory,A collection of jupyter notebooks solving post-tonal music theory problems you didn't know you had using python and music21.
User: musicus
set-theory,gia: Genomic Interval Arithmetic
User: noamteyssier
Home Page: https://noamteyssier.github.io/gia/
set-theory,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.
User: ptek
Home Page: http://hackage.haskell.org/package/setoid
set-theory,Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond :two_hearts:
User: ryanve
Home Page: https://ryanve.dev/ssv
set-theory,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)
User: shrohanmohapatra
set-theory,M-partial intersection of sets and multisets explanation and examples
User: smoren
set-theory,Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
User: spamegg1
set-theory,Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
User: staircase-dev
Home Page: https://piso.readthedocs.io
set-theory,Set() as it should be.
User: terkelg
set-theory,Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory
Organization: theoremprover-museum
set-theory,Simple LCF-style proof assistant for ZFC
User: timjb
set-theory,Chart.js Venn and Euler Diagrams
Organization: upsetjs
Home Page: http://upset.js.org/chartjs-chart-venn/
set-theory,Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.
Organization: valhalla-lang
set-theory,Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
Organization: valhalla-lang
set-theory,Set-theory based runtime type system
Organization: wearereasonablepeople
set-theory,Non Scedastic Automated Visualization Techniques
User: williammajanja-zz
set-theory,Simple and powerful tagging for Python objects
User: xolox
Home Page: http://gentag.readthedocs.io
set-theory,🔥 DNA微分催化与肽计算, 元基花计算,进化计算,遗传计算,智慧计算,索引计算,元基编码,肽展公式,大数据计算分析
User: yaoguangluo
Home Page: https://github.com/yaoguangluo/ChromosomeDNA
set-theory,A desktop application that simulates set operations: union, intersection, difference and complement with a nice GUI.
User: youssefali11997
set-theory,An implementation of David Lewin's Generalized Interval Systems
User: yurrriq
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.