MojiScript is an async-first, opinionated, and functional library
Repository Index
47,133 repositories indexed
241–264 of 474 · Most stars
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
User agent parser library
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
A fast, purely functional data structure library in Common Lisp.
luaproc is a concurrent programming library for Lua
Dynamic library delivery tools for SBCL.
Python promises
- python
- promises
- promise
- promise-library
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
PasMP - a parallel-processing/multi-processing library for Object Pascal
Library for lexing and parsing D source code
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
Coroutine-based multithreading library for Delphi
- delphi
- greenlet
- coroutines
- golang
Go bindings for FANN, library for artificial neural networks
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
🌟 Useful functional programming helpers for Go
- golang
- go
- functional-programming
- library
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Lightweight Promises for Swift & Obj-C
- futures
- promises
- swift
- objective-c
A light-weighted Promise library for Objective-C
Ada bindings for the GTK+ graphical library.
A Clojure library for JavaFX