Repository Index

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

DexieNET is a .NET wrapper for dexie.js minimalist wrapper for IndexedDB

Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Minimal cgo bindings for libenca

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Minimalistic, pluggable Golang evloop/timer handler with dependency-injection

Ada finite-state machine generator.

Minimalistic monad syntax for OCaml.

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

• functional-programming
• java
• json-values
• persistent-data-structure

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

• macros
• elixir-lang
• elixir
• functional-programming

Minimal binding to libdl