Repository Index

An async control-flow library that makes stepping through logic easy.

A home for your business logic in any .NET application.

• csla
• windows-forms
• wpf
• blazor

Tools for transparent data transformation

• term-rewriting
• logic-programming
• unification
• pattern-matching

math and logic formula parser and evaluator

• formula
• calculator
• evaluate-expressions
• safeeval

The only reasonable scripting engine for Go.

• interpreter
• prolog
• golang
• go

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

PAthological QUpath Obsession - QuPath and Python conversations

• digital-pathology
• qupath
• python

High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic

• async-await
• cache
• caching
• cocoapods

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

Versatile Go code generator.

• golang
• code-generator
• generics
• conditional-compilation

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

Reimplementation of Natural Number Game in Coq

• coq
• lean
• logic
• game