fixpoint

Unterlagen zu den Vorlesungen "Digitale Signalverarbeitung (DSV)" und "DSV auf FPGAs"

A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.

Fixed-point numbers with Solana Anchor support

Formalization and proofs for a language extending lambda calculus

🪝 Kroker module for Deno

A tool to support the computation of expectations in probabilistic programs.

Combinators for predicative recursion

implement a custom fixed-point number class in C++98. Understanding how C++ objects behave during construction, copying, assignment, and destruction.

Kroker installation script

Abstract interpretation on java bytecode

Demo repository showing Fixpoint auto-fixing security vulnerabilities

Self-healing deterministic system with fixpoint convergence and hashed execution trace validation.

Deterministic multi-perspective AI consensus engine with cryptographic trace verification and formal convergence guarantees.