A Library for Representing Recursive and Impure Programs in Coq
Repository Index
47,133 repositories indexed
217–240 of 440 · Most stars
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
High performance Transactional Memory for Common Lisp
An experiment in adding functional pattern matching to JavaScript
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
Debounce promise-returning & async functions
A collection of sweet.js macros that implement ES6 features for ES5
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Extended version of Rambda
- ramda
- rambda
- utils
- lodash
cpgf library
- cpgf
- lua-bindings
- c-plus-plus
- python-bindings
Functional data types and functions for any project
Functional programming in R
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions