Run .NET and Node.js code in-process on Windows, MacOS, and Linux
- csharp
- dotnet
- dotnet-core
- dotnet-framework
Repository Index
47,133 repositories indexed
97–120 of 263 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Vulkan API bindings for Go programming language
Versioned fork of the OpenCV gem for Ruby
[DEPRECATED] Tensorflow wrapper for DataFrames on Apache Spark
Lightweight Goroutine pool
- golang
- goroutine
- pool
- workers
A pure go General-purpose Task-parallel Programming Framework
R frontend for Spark
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 yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
A Clojure DSL for Apache Spark
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 thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
golang worker pool , Concurrency limiting goroutine pool
- golang
- pool
- concurrency
- workerpool
Ruby library for interfacing with FANN (Fast Artificial Neural Network)
- ai
- ruby-fann
- ruby-gem
- neural-network
Build fast, composable, and type-safe grammars and parsers in Dart.
- parser
- parser-combinator
- parsing-expression-grammar
- parser-library
Library for creating DotNet Web Worker threads/multithreading in Client side Blazor
- blazor
- web-worker
- backgroundservice
- worker-process
This projects gives Kotlin bindings and several extensions for Apache Spark. We are looking to have this as a part of Apache Spark 3.x
A Clojure library for Apache Spark: fast, fully-features, and developer friendly
OCaml bindings for PyTorch
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.