NASA PVS Library of Formal Developments
Repository Index
71,372 visible repositories in the index
241–264 of 547 · Most stars
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
Go bindings for unarr (decompression library for RAR, TAR, ZIP and 7z archives)
- tar
- rar-format
- 7zip
- golang-library
Managed .NET wrapper for unmanaged PKCS#11 libraries
Asynchronous IO library for Common Lisp.
A library of queues that enable sending ordered tasks to asynchronous contexts
C++11 wrapper for the LMDB embedded B+ tree database library.
- lmdb
- cxx
An opinionated set of bindings to the React library, optimizing for the most basic use cases
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
Floc: Orchestrate goroutines with ease.
- go
- parallel-programming
- goroutines
- goroutine-safe
A JavaScript library for building React applications in more functional way. Alternative to JSX.
- fp
- react
- no-jsx
- lambda
A Library for Representing Recursive and Impure Programs in Coq
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Elm style FRP library for PureScript
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A Parser Combinators Library for Clojure
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript