F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Repository Index
55,140 visible repositories in the index
49–72 of 79 · Most stars
The Frenetic Programming Language and Runtime System
A formalization of geometry in Coq based on Tarski's axiom system
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Bindings to the Tauri API for projects using wasm-bindgen
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Common Lisp system for decoding public JSON Web Keys (JWK)
- common-lisp
- jwk
- jwkset
- lisp
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven