Repository Index

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

Rate limiter and overload protection for erlang application

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

suricata eve.json parser in Go

The repository host gives no description.

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator

Library to manage application lifetime in a Go microservice architecture

• go
• golang
• library
• microservice

:traffic_light: Go bindings for libappindicator3 C library

A simple web application boilerplate using Common Lisp

• lisp
• common-lisp

This is a demo WASM Blazor application. You can test regular C# expressions in your browser.

• netcore
• blazor
• blazor-webassembly

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

Calixir is a port of the Lisp calendar software calendrica-4.0 to Elixir.

• elixir
• calendar
• converters
• lisp

GNU Scientific Library (GSL) bindings for Scala native

• scala
• scala-native
• gsl
• bindings