Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
A robust option type for C#
- option-type
- safety
- functional-programming
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe