Topic: "algebraic"
hirrolot/datatype99
Algebraic data types for C99
Language: C - Size: 1.15 MB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 1,413 - Forks: 23
davidedc/Algebrite
Computer Algebra System in Javascript (Typescript)
Language: TypeScript - Size: 3.55 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 979 - Forks: 60
fantasyland/static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
Language: JavaScript - Size: 117 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 775 - Forks: 41
thma/PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Language: Haskell - Size: 1.6 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 193 - Forks: 16
algebraic-graphs/typescript
Algebraic graphs implementation in TypeScript
Language: TypeScript - Size: 330 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 133 - Forks: 4
debasishg/frdomain-extras
Additional accompaniment to Functional and Reactive Domain Modeling
Language: Scala - Size: 266 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 107 - Forks: 25
dedbox/racket-algebraic
Algebraic structures for untyped Racket
Language: Racket - Size: 307 KB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 77 - Forks: 7
iokasimov/apart
Get all your structure and rip it apart.
Language: Haskell - Size: 106 KB - Last synced at: 29 days ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 4
huiscliu/sxamg
Algebraic Multigrid (AMG) Solver Library
Language: C - Size: 767 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 19 - Forks: 4
tormozz48/algebraic-captcha
Generate CAPTCHA from algebraic formula
Language: TypeScript - Size: 894 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 11 - Forks: 4
sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
Language: Haskell - Size: 24.4 KB - Last synced at: 17 days ago - Pushed at: almost 5 years ago - Stars: 11 - Forks: 0
bdezonia/zorbage
Zorbage: algebraic data types and algorithms for use in numeric processing.
Language: Java - Size: 17.8 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 10 - Forks: 1
zajacpa/mrhs-solver
MRHS solver - research tool for experimental algebraic cryptanalysis
Language: C - Size: 89.8 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 1
Simula-UiB/CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Language: Rust - Size: 379 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1
PetrKryslUCSD/SkylineSolvers.jl
Solvers for coupled linear algebraic equations with symmetric sparse matrices
Language: Julia - Size: 635 KB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
fedor1113/SomeBasicMathsNotions
Some very basic algebraic ideas and notions.
Language: HTML - Size: 4.44 MB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
computationalabstraction/Styp
Algebraic Sum types for JavaScript.
Language: JavaScript - Size: 1.17 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0
eggnaut/euclid
Automatically generate quadratic equations to study/practice with.
Language: Python - Size: 35 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
csirmaz/AlgebraicSyncPaper
Sources of papers on algebraic file synchronization (TeX, Python)
Language: TeX - Size: 409 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Flamerinus/id-Notable
Algebraic Identities with JavaScript and p5.js
Language: JavaScript - Size: 530 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
kev-aron-28/relational-algebra-calculator
Consists of creating a calculator that transforms relational algebra into a sql query
Language: Java - Size: 66.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
MRYingLEE/AlgebraicNLP 📦
To use NLP machine learning model along with Algebra to solve symbolic mathematics problems in a more general and smarter way, compared to and inspired by the project facebookresearch/SymbolicMathematics.
Language: Jupyter Notebook - Size: 32.2 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
pPomCo/coq-incomplete-games-rjcia2021
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
Language: Coq - Size: 248 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
the-eternal-newbie/artificial-intelligence
This is a project to store the practices of my Artificial Intelligence II course; it contains basic neural networks algorithms with python and a GUI for plotting the trainings.
Language: Python - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
wendlerc/dlsp-sampling
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
Language: Jupyter Notebook - Size: 4.98 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
csirmaz/AlgebraicSynchronizer
Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
Language: OCaml - Size: 164 KB - Last synced at: about 2 months ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0
hannes.daenschel/algebraic-hbm
Python implementation of the algebraic harmonic balance method for second order ordinary differential equations with polynomial coefficients.
Last synced at: 20 days ago - Stars: 0 - Forks: 0
R6/datatype99
Algebraic data types for C99
Language: C - Size: 1.33 MB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
