Topic: "algebraic-structures"
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
fdilke/bewl
A DSL for the internal language of a topos
Language: Scala - Size: 100 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 64 - Forks: 3
AlgebraicJulia/AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Language: Julia - Size: 516 KB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 54 - Forks: 4
AlexPof/opycleid
Opycleid - A Python package for transformational music theory
Language: Python - Size: 1.54 MB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 42 - Forks: 3
andreaferretti/emmy
Language: Nim - Size: 133 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 0
typeclasses/partial-semigroup
A partial binary associative operator (appendMaybe :: a → a → Maybe a)
Language: Haskell - Size: 95.7 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 13 - Forks: 4
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
joeldentici/monadic-js
Algebraic structure implementations, do-notation, and operators to truly live the fantasy
Language: JavaScript - Size: 181 KB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
gendx/ocaml-algebra
An algebra system written in OCaml
Language: OCaml - Size: 258 KB - Last synced at: 6 days ago - Pushed at: over 9 years ago - Stars: 10 - Forks: 0
chakravala/FieldAlgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
Language: Julia - Size: 40 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 9 - 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: 5 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1
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
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: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 0
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
sim642/ocaml-algebra
Small but neat OCaml library of (abstract) algebraic structures
Language: OCaml - Size: 39.1 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 4 - 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: 5 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
Nicolas-Reyland/aps
Algebraic Proof System
Language: Rust - Size: 242 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
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: 8 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
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
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
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
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
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: 8 days ago - Pushed at: 8 days ago - Stars: 0 - 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
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
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
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
chakravala/FieldConstants.jl
Field algebra constant parametric type
Language: Julia - Size: 3.91 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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: 24 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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
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
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
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
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
incertia/crypto-primer
intro to crypto given to my coworkers at AIS
Language: TeX - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
