#

fixpoint

Here are 13 public repositories matching this topic...

chipmuenk / dsp

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

fpga dsp sampling jupyter-notebooks dsv fixpoint

Updated Jun 14, 2024
Jupyter Notebook

hylo-so / fix

Fixed-point numbers with Solana Anchor support

math numeric fix solana fixpoint

Updated Jun 5, 2026
Rust

vsov / strata-k

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.

programming-language rust interpreter compiler datalog probabilistic-programming logic-programming semiring answer-set-programming datalog-engine fixpoint neuro-symbolic deductive-database stratified-negation semi-naive-evaluation

Updated Jul 4, 2026
Rust

shilangyu / alpha_calculus

Formalization and proofs for a language extending lambda calculus

lambda-calculus formal-languages fixpoint

Updated May 5, 2025
Lean

fixpoint / deno-kroker

🪝 Kroker module for Deno

deno kompira fixpoint kroker

Updated Mar 9, 2022
Makefile

bubzia / Fixpoint_Evaluator

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

java theoretical-computer-science fixpoint

Updated Dec 7, 2022
Java

athanclark / almost-fix

Combinators for predicative recursion

haskell predicates fixpoint

Updated Jul 24, 2015
Haskell

fixpoint / kroker-install

Kroker installation script

installer installer-script fixpoint kroker

Updated Jul 20, 2023
Shell

yuezhang914 / CPP02

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

cpp class object-oriented-programming fixpoint

Updated May 8, 2026
C++

PSS1998 / Abstract-Interpretation

Abstract interpretation on java bytecode

java-bytecode program-analysis abstract-interpretation fixpoint

Updated Nov 3, 2023
Python

IWEBai / fixpoint-demo

Demo repository showing Fixpoint auto-fixing security vulnerabilities

security demo xss sql-injection fixpoint vulnerable-code

Updated Jan 25, 2026
Python

crasofuentes-hub / qisa-consensus-engine

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

formal-methods reproducibility traceability multi-agent-systems ai-safety explainable-ai fixpoint enterprise-ai ai-consensus cryptographic-verification decision-systems deterministic-ai ai-auditability categorical-reasoning

Updated Feb 13, 2026
Python

crasofuentes-hub / reflexive-dsha

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

distributed-systems formal-methods reproducibility traceability autonomous-agents fixpoint self-healing-systems deterministic-ai formal-convergence hashed-traces

Updated Feb 13, 2026
Rust

Improve this page

Add a description, image, and links to the fixpoint topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the fixpoint topic, visit your repo's landing page and select "manage topics."