Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
Repository Index
47,133 repositories indexed
121–144 of 367 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
A Swift based Future/Promises Library for IOS and OS X.
Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).
- delphi
- azure
- config
- json
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Run ARM64 Linux userspace and desktop applications on iPhone and iPad.
- arm64
- debian
- interpreter
- ios
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Utility library for functional programming in Lua
- lua
- underscore
- functional-programming
- table
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Nemerle language. Main repository.
A pure go General-purpose Task-parallel Programming Framework
Platform Abstraction C++ Libraries
URSA - RSA public/private key OpenSSL bindings for Node.js
WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium