lattices

Λ ⚬ λ: Functional Lattice Cryptography

Lattices in Cryptography (University of Michigan)

A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter

A Lattice Library for Julia

practical quantum-secure key encapsulation from generic lattices

Bi-directional Lattice Recurrent Neural Networks for Confidence Estimation

Confidence Estimation for Black Box Automatic Speech Recognition Systems Using Lattice Recurrent Neural Networks https://arxiv.org/abs/1910.11933 or https://ieeexplore.ieee.org/document/9053264

A cuda enumeration library that can be used by fplll, using the external enumerator API

Interfaces for heyting algebras and verified bounded join and meet semilattices

Package for generating and inverse-designing 2D lattice materials. Represents lattices as heterogeneous graphs and utilizes message passing, automatic differentiation and surrogate gradients for the inverse design.

Python implementation of GGH and GGH-HNF lattice-based cryptosystems for research and educational purposes, featuring cryptanalysis tools and a hybrid variant.

Periodic Mesh Generation of BCC Lattice Materials using SALOME for FEM Analysis

Package to calculate susceptibilities and RPA instabilities of a lattice model.

Dynamic evolution of a topological photonic laser system, for the non-reciprocal SSH and Diamond lattice models. Nonlinear saturable gain and loss are integrated into the models such that phase diagrams are generated to display different lasing-behaviours and topological phenomena.

Counting (maximal) antichains of non-crossing partitions

Mathematical cryptography (custom implementations).

Some code for lattice-based consensus clustering

A Lean 4 study of the defect: an invariant of a positive-definite quadratic form on a finite-rank lattice measuring the failure of its spectrum to factor over the primes. Math amateur + LLM-coauthor, so.. you know.