V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
Repository Index
47,133 repositories indexed
337–360 of 395 · Most stars
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
Extremely simple Process pooling and task submission in Elixir
Erlang PortAudio bindings
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
utils for Go context
- golang
- go
- context
- async
A port of the Javascript library to GML2.3
Personal import of the selenium-webdriver for ruby
Clang port to the GBZ80 CPU
Trivial/Tagless Polytypic Functions
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Styled Component for yew
general purpose utils for interacting with vert.x
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Go bindings for the snowball libstemmer library including porter 2
Backport for type hinting generics in standard collections and union types as X | Y
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
A web framework for writing react components in common lisp using jscl
Seamless Interface to Octave -- and Matlab code
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
a parser for Forsyth-Edwards Notation (for encoding chess positions)
TML Object Pascal Components