fdilke/bewl

A DSL for the internal language of a topos

Language: Scala - Size: 100 MB - Last synced at: about 3 hours ago - Pushed at: about 5 hours ago - Stars: 64 - Forks: 3

mihxil/math

Interfaces abstract algebra's, and the concept of 'uncertain number'. Based on that some structures related to physics, like physical numbers, which are uncertain numbers with dimensional analysis.

Language: Java - Size: 11.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 4 - Forks: 0

luc-ta/GL-Rack-Classification

GAP programs for tabulating generalized Legendrian racks (also called GL-racks or bi-Legendrian racks) of orders up to 11. Data for all GL-racks of orders up to 8.

Size: 9.9 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

AlgebraicJulia/AlgebraicRelations.jl

Relational Algebra, now with more algebra!

Language: Julia - Size: 596 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 52 - Forks: 4

chakravala/FieldAlgebra.jl

Field-algebra based on Group / Ring symbolic vector module extension

Language: Julia - Size: 40 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

ntapiam/pydend

Implementation of dendriform and tridendriform structures on Schröder trees

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

pthariensflame/agda-fumulas

An exploration of fumulas in Agda—a new perspective on ring theory

Language: Agda - Size: 185 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

MihaiMocanuGit/AssociativeOperationCounter-Cpp_port

C++ port of a semigroup counter made initially in python: https://github.com/MihaiMocanuGit/AssociativeOperationsCounter

Language: C++ - Size: 33.2 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

AlexPof/opycleid

Opycleid - A Python package for transformational music theory

Language: Python - Size: 1.54 MB - Last synced at: 11 days ago - Pushed at: almost 3 years ago - Stars: 42 - Forks: 3

fabiolune/logic-engine

A simple, versatile engine to handle runtime customizable boolean logic

Language: C# - Size: 7.82 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 7 - Forks: 3

ogeagla/clj-hypercomplex

A library for hypercomplex algebras in Clojure

Language: Clojure - Size: 62.3 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3

typeclasses/partial-semigroup

A partial binary associative operator (appendMaybe :: a → a → Maybe a)

Language: Haskell - Size: 95.7 KB - Last synced at: 10 days ago - Pushed at: 7 months ago - Stars: 13 - Forks: 4

i-am-tom/fantas-eel-and-specification 📦

Examples and exercises from the blog series

Language: JavaScript - Size: 32.2 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 85 - Forks: 6

BaseMax/FGroupPy

FGroupPy is a software tool that allows you to perform various operations and analyses on mathematical groups. It provides a Python class called Group that represents a group and offers a set of methods to work with groups, including checking group properties, finding subgroups, generating multiplication tables, identifying normal subgroups, etc.

Language: Python - Size: 55.7 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

andreaferretti/emmy

Language: Nim - Size: 133 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 0

sim642/ocaml-algebra

Small but neat OCaml library of (abstract) algebraic structures

Language: OCaml - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

asevillasastre/UCM-Math-Engeenering-Degree-Catchall

I have compiled (hehe) some interesting code developed throughout my time in the degree I studied.

Language: R - Size: 259 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DabrowskiFr/Structure

A library of mathematical structures based on type classes proposed in Haskell

Language: Coq - Size: 17.6 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

devSchacht/fantasy-land Fork of fantasyland/fantasy-land

Спецификация для совместимости общих алгебраических структур в JavaScript

Language: JavaScript - Size: 333 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 13 - Forks: 2

krlu/Abel

An general computer algebra library

Language: Scala - Size: 268 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

frblazquez/AC

Computational Algebra algorithms implemented using Maple.

Size: 288 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

AlgebraicWolf/algebraic-structures

Playing around with implementations of different algebraic structures in C++

Language: C++ - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

blakehull/MathOps

A git of mathematical operators for algebra and calculus

Language: Python - Size: 27.6 MB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

chakravala/FieldConstants.jl

Field algebra constant parametric type

Language: Julia - Size: 3.91 KB - Last synced at: 30 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ekarpp/digraph_shortest_even_cycle

Algebraic algorithm to find a shortest cycle of even length in a directed graph

Language: C++ - Size: 2.72 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Nicolas-Reyland/aps

Algebraic Proof System

Language: Rust - Size: 242 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

joeldentici/monadic-js

Algebraic structure implementations, do-notation, and operators to truly live the fantasy

Language: JavaScript - Size: 181 KB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0

digitalheir/semiring-js

💫 A library for working with ring-like algebraic structures that implements some common semirings

Language: TypeScript - Size: 2.37 MB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1

dombunnett/ReducedFiniteDimensionalModules

Code accompanying the paper: "Reduced submodules of finite dimensional polynomial modules"

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

reity/algebraical

Subclass of the built-in function type for representing algebraic operators (that are typically associated with algebraic structures and algebraic circuits) as immutable, hashable, sortable, and callable objects.

Language: Python - Size: 27.3 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

gendx/ocaml-algebra

An algebra system written in OCaml

Language: OCaml - Size: 258 KB - Last synced at: about 6 hours ago - Pushed at: over 9 years ago - Stars: 10 - Forks: 0

pabloasenjo3/Gaussian_Integers

Educational tool to operate with elements of the Ring of Gaussian Integers: Z[i].

Language: C++ - Size: 37.1 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

paxtonproctor/2433-DiscreteStructures

Introduction to the fundamental techniques of algorithm analysis. Also, Boolean logic, combinatorics, functions, graphs, algebraic structures, recursion, recurrence relations, finite state machines, and computability.

Language: C++ - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

isaf27/groebner_basis

Groebner basis university project

Language: C++ - Size: 64.5 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

overlay11/swift-algebra-system

Language: Swift - Size: 81.1 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

incertia/crypto-primer

intro to crypto given to my coworkers at AIS

Language: TeX - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0