Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Repository Index
47,133 repositories indexed
49–59 of 59 · Most stars
Library for Classical Coq
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Generates Blazor -> Javascript strongly typed interop methods.
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
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
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
GNU Scientific Library (GSL) bindings for Scala native
- scala
- scala-native
- gsl
- bindings