Arithmetical expressions parser for Elm and JavaScript
Some cool mathematician functions
The Game of Life is not your typical computer game. It is a cellular automaton, and was invented by Cambridge mathematician John Conway.
this is math package for solving equations
This is a simulation of the following: "The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970.[1] It is a zero-player game, meaning that its evolution is determined by its init
(Bounded) Knapsack problem
No description provided.
Shared BSuite data export/import primitives for CSV, XLSX, and JSON. Pure logic, zero React, zero Supabase.
A module for handling CSV data compliant with Gitzone standard.
An extensible, stateless and customizable framework for multi-agents conversation
A Generative Art library made in WebGPU
A WebAssembly package for basic mathematical operations using Rust.
Native Node.js LLM bindings for all.
In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive
For the lovebirds but not by lovebird!
The aadhaar-validator npm package provides a simple and efficient utility for validating Aadhaar numbers, the 12-digit unique identification numbers issued by the Indian government
No description provided.
a fuzzy math library
Create any Game of Life variation
Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
No description provided.
This is a collection of JavaScript utility functions written in a functional programming style. I just started this. It's still under construction. But what _is_ here is thoroughly tested. The code even contains mathematical proofs of correctness and
  
A library that uses sequelize and postgres fulltext search
Arithemtic over finite polynomial rings
Propositional logic with exponentials
The Formal Language Where Code Verifies Itself
Abstract algebraic structures for Rust
Simple implementations of selected abstract algebraic structures--including groups, rings, and fields. Intended for self-study of abstract algebra concepts and not for production use.
A Rust library that checks if a number is a Germain and Imtiaz-Germain prime or not
Tropical max-plus algebra and ordinal-weighted optimization carriers
Multi-Dimensional Analog Literals in Rust
Automatic Differentiation Library
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Arbitrary-precision multi-base scientific calculator
A basic terminal implementation of Conway's Game of Life!
No description provided.
No description provided.
No description provided.