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
Repository Index
47,133 repositories indexed
817–840 of 906 · Most stars
Integration of R, Java, and Scala
A plugin for Mocha to pass JS files through the Traceur transpiler
A Simple DSL to create Directory Tree with Text Files
- groovy
- dsl
- jvm
- directory
wrap cJSON for vlang
- v
- vlang
- cjson
Minimalistic, pluggable Golang evloop/timer handler with dependency-injection
High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
suricata eve.json parser in Go
Bindings for iOS and Android on Xamarin projects with sample code.
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions
- gatling
- performance
- performance-testing
- gatling-plugin
Run speedtest-cli and publish results via MQTT
Racket to JavaScript Compiler
FFTW binding in Crystal
- crystal
- fft
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
Import and export CommonJS modules in js_of_ocaml
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
Elixir wrapper of Basho's Bitcask Key/Value store.
A library that wraps OpenSSL, but also has pure Julia implementations for reference.
:construction: Async helpers for Vert.x
- vertx
- async
- library
This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.
This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.
- shadertoy
- gamemaker
- text-processing
libsodium for Ada - A secure cryptographic library
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL