Create the next immutable state by mutating the current one
- immutable
- immutables
- reducer
- redux
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi
- gpio
- pwm
- servo
- motor
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
KaiCode 2026 WINNER! Enterprise-grade navigation library for Yew — automatic active state detection and a complete component system.
- nav-link
- navigation
- navigation-link
- navlink
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
100% no-std/wasm compatible Substrate storage key generator
- hacktoberfest