Facilitating high-level interactions between Wasm modules and JavaScript
- wasm
- javascript
- rust
- binding-generator
Repository Index
47,133 repositories indexed
1–24 of 51 · Most stars
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
A Parser for CSS Files written in PHP. Allows extraction of CSS files into a data structure, manipulation of said structure and output as (optimized) CSS
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Lightning Memory Database (LMDB) for Java: a low latency, transactional, sorted, embedded, key-value store
- lmdb
- java
- key-value
- embedded-database
Platform Abstraction C++ Libraries
A lightweight ClojureScript abstraction over ReactJS
Abstraction for managing asynchronous code in JS
- fp
- promise
- future
- task
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
A Library for Representing Recursive and Impure Programs in Coq
High performance Transactional Memory for Common Lisp
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
- reactive
- elmish
- fable
- fsharp
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
A lisp compiler for the AVM2.
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it
- goroutine
- crontab
- job-scheduler
- retry
Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect