The easiest Future and Promises framework in Swift. No magic. No boilerplate.
- swift
- futures
- promises
- generics
Repository Index
47,133 repositories indexed
73–92 of 92 · Most stars
The first and only true Functional Reactive Programming framework for Scala.
- scala
- reactive
- frp
- frp-library
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Functional programming framework for Go.
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
An asynchronous event-driven network framework( port netty ) written in D.
- dlang
- network
- event-driven
- asynchronous
Foundational Cryptography Framework for machine-checked proofs of cryptography.
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
A web framework for writing react components in common lisp using jscl
Example of using Blazor WebAssembly with old sites
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware