An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Repository Index
47,133 repositories indexed
25–48 of 54 · Most stars
Expression evaluation in golang
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
A little scheme implementation on top of Clojure
Evaluate JavaScript from Crystal!
- crystal
- javascript
- duktape
- hacktoberfest
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
WebAssembly interop between Go and JS values.
- go
- webassembly
- interop
- golang
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Reduce a list of values using promises into a promise for a value
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
The repository host gives no description.
- golang
- s-expressions
- expression
- evaluation
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
A natural language parser for validating complex date ranges
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Go option and result types that optionally contain a value
- golang
- option
- result
- error
Haskell bindings to Colin Percival's scrypt implementation.
Elixir wrapper of Basho's Bitcask Key/Value store.
Evaluate user input expressions
- elixir
- elixir-library
- expression
- expression-evaluator