ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
Repository Index
88,073 visible repositories in the index
649–672 of 1,041 · Most stars
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
Haxe/Lua externs for Defold game engine
- defold-game-engine
- haxe
- lua
- lua-externs
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
The Frenetic Programming Language and Runtime System
LibYAML binding for Lua.
Javascript wrapper for GDAL in the browser
- gdal
- wrapper
- bindings
- js
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Extended version of Rambda
- ramda
- rambda
- utils
- lodash
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
Functional programming in R
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
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
Elm architecture and (V)DOM for OCaml
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash