A library for formalizing Haskell types and functions in Coq
Repository Index
47,133 repositories indexed
241–264 of 507 · Most stars
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
A complete set of primitives for concurrency and reactive programming on Swift
- swift
- concurrency
- concurrency-library
- future
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Java port of a concurrent trie hash map implementation from the Scala collections library
Golang library for querying and parsing OFX
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
A super simple Lodash like utility library with essential functions that empowers the development in Go
Go binding for the cairo graphics library
This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.
- blazor-interop
- typescript-parser
- blazor-wasm
- babylonjs
Castor is a lightweight, typed Actor library for Scala and Scala.js
cl-cffi-gtk is a Lisp binding to the GTK+ 3 library.
Cross-platform event loop library of asynchronous objects
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
MojiScript is an async-first, opinionated, and functional library
Automatic binding generator for native libraries in Crystal
A library of mechanised undecidability proofs in the Coq proof assistant.
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling