A Counter-Strike 2 Demo Parser for Go (demoinfo)
- counter-strike
- csgo
- golang
- go
Repository Index
47,133 repositories indexed
73–96 of 236 · Most stars
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
ChucK Music Programming Language
functional, durable data structures
R interface for Apache Spark
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
A Lisp-to-JavaScript compiler bootstrapped from Common Lisp
- common-lisp
- jscl
- compiler
- javascript
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
A functional effect and streaming system for Clojure/Script
- clojure
- clojurescript
- reactive-streams
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Parser combinators built for speed and memory efficiency
Library for creating tagged constructors.
Parallel Collectors is a toolkit easing parallel collection processing in Java using Stream API.
- parallelism
- parallel-streams
- stream-api
- hacktoberfest
Platform Abstraction C++ Libraries
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A lightweight ClojureScript abstraction over ReactJS
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Stream utilities for Java 8