A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
57,138 visible repositories in the index
937–960 of 1,236 · Most stars
The Effect monad, for handling native side effects
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
High-speed approximate nearest neighbors for Ruby
Relation algebra library for Coq
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
- mysql
- postgresql
- sqlx
- databases
Utilities for using Tinkerpop3 via the node-java API in Typescript
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Iterate over promises serially
A better `Promise.race()`
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Modern concurrency tools for Crystal
- crystal
- concurrent
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Map over promises serially
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
OOP Pascal Wrapper and bindings for Tilengine 2D retro graphics engine
Pure Python parser for classic Windows Event Log files (.evt)
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
A library which aids in making any JavaScript library more functional.
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.