-
fixed-precision Public
Precise fixed-scale (8 decimal places) arithmetic for financial calculations.
-
lite-fp Public
Tiny, zero‑dependency FP helpers for TypeScript.
-
typed-snapshot Public
Generate typed TypeScript snapshots (const/enum/union) to file.
-
State-Machine Public
Forked from UwU-Jogos/State-MachineGame tick system
-
-
-
-
Torus-Agent-Framework Public archive
A library for building Torus Agents with self-describing APIs.
-
-
codocx Public archive
Forked from jefferson-calmon/codocxA ferramenta mais simples e fácil de usar para automatizar documentação de código
-
-
-
hvm-lang Public archive
Forked from HigherOrderCO/Bend -
bend-lang-utils Public
Forked from SergioBonatto/bend-lang-utilsBend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
1 UpdatedMay 27, 2024 -
HVM Public archive
Forked from HigherOrderCO/HVM2A massively parallel, optimal functional runtime in Rust
-
-
NaoEhSavioWikind Public archive
Forked from Sipher/WikindVast collection of Kind2 definitions
-
IINS-Lazy Public archive
Forked from HigherOrderCO-archive/ICVM-lazyA programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
-
-
-
Functional-Benchmarks Public archive
Forked from algebraic-dev/functional-benchmarksCollection of benchmarks of functional programming languages and proof assistants.
-
rust-atomics-and-locks Public archive
Forked from m-ou-se/rust-atomics-and-locksCode examples, data structures, and links from my book, Rust Atomics and Locks.
-
-
abstract-algorithm Public archive
Forked from VictorTaelin/abstract-algorithmOptimal evaluator of λ-calculus terms.
-
-
binance-rs Public archive
Forked from ccxt/binance-rsRust Library for the Binance API
-
Kindelia Public archive
Forked from kindelia/KindeliaKindelia: an efficient, secure cryptocomputer
-
NaoEhSavioKind Public archive
Forked from HigherOrderCO-archive/Kind-LegacyA modern proof language
-
vscode-kind-syntax Public archive
Forked from MaisaMilena/vscode-kind-syntaxVSCode syntax highlight for Kind language
-
Hvmon Public archive
Forked from lucas-lucena/HvmonHigh-Order Virtual Monsters is a Battle Showdown Game.
{{ message }}