A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
87,075 visible repositories in the index
169–192 of 193 · Most stars
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
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
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget
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
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
Evaluate user input expressions
- elixir
- elixir-library
- expression
- expression-evaluator
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp
PEG parser for YAML written in Rust 🦀
Infix notation to S-expression (Polish notation) translator for Common Lisp
- common-lisp
- infix-notation
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Common Lisp client library for accessing OData services.
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
A V library for processing PCRE regular expressions
- vlang
- vlang-module
- pcre2
- regex
This is a demo WASM Blazor application. You can test regular C# expressions in your browser.
- netcore
- blazor
- blazor-webassembly
A Scala Native wrapper of the LIBPQ C library
Configurable dynamic and static binding to Facebook's zstandard compression library.
Rebar3 neotoma (Parser Expression Grammar) compiler
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract