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
Repository Index
47,133 repositories indexed
721–744 of 885 · Most stars
A modern, template-based, open source data transformation language
Coq library on rewriting theory and termination
Run functions in parallel :comet:
- go
- concurrency
- goroutines
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
List manipulation library inspired by Haskell package Data.List
IO for Gallina
- coq
- ocaml
- extraction
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Make functions return a channel for parallel processing via go routines.
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
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
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Simple ActionN composition to use with RxJava [STABLE]
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation