lattice-theory

Here are 11 public repositories matching this topic...

vijayphoenix / IITH-BTECH-Courses

IITH BTECH CSE all Courses' Codes and Assignments

reinforcement-learning computer-vision compiler eiffel dbms prolog image-processing operating-system numerical-methods representation-learning computer-architecture linear-optimization data-structures-and-algorithms computer-networks iith popl cool-compiler lattice-theory

Updated May 12, 2021
Jupyter Notebook

alphaparkinc / genpark-knaster-tarski-least-fixpoint-solver-skill

Star

Knaster-Tarski least fixpoint iterative solver computing greatest lower bounds and invariant convergence over complete finite lattices.

static-analysis lattice-theory agentic-ai genpark-skill knaster-tarski fixpoint-theorem

Updated Sep 9, 2026
Python

Alpha-Park / genpark-knaster-tarski-least-fixpoint-solver-skill

Star

Knaster-Tarski least fixpoint iterative solver computing greatest lower bounds and invariant convergence over complete finite lattices.

static-analysis lattice-theory agentic-ai genpark-skill knaster-tarski fixpoint-theorem

Updated Sep 9, 2026
Python

co-nlang / nlang-spec

Star

🌌 The Ouroboros Code: Formal specifications for n/, a data-centric, lattice-based declarative language. Data ≅ Type ≅ Logic. Truth is the point of convergence.

programming-language declarative category-theory formal-verification content-addressable lattice-theory nlang semantic-os n-slash

Updated Sep 9, 2026
Roff

limabravoecho-collab / hierarchical-derivation-lattice

Star

A systematic, dimensionless derivation of Planckian and cosmological constants within a discrete signed 32-bit integer grid architecture.

computer-science open-science discrete-mathematics fine-structure-constant system-architecture mathematical-physics lattice-theory digital-physics fundamental-constants planck-scale

Updated Jul 17, 2026

RPereiraT / AFIS_Repo

Star

Lattice-theory based Fuzzy Inference System, suited for sparse rule bases.

fuzzy-logic consistency-models fuzzy-inference-systems lattice-theory subsethood-measures

Updated May 3, 2026
Jupyter Notebook

A from-scratch Python library for Monotone Co-Design Problems (MCDPs) after Censi (2015): compose design problems over functionality/resource posets with series/parallel/feedback, solve Pareto fronts by Kleene fixed-point iteration. Ships uncertainty, online learning, temporal & sequential co-design, 25 worked examples, and a 113-page manual.