Λ ⚬ λ: Functional Lattice Cryptography
-
Updated
Mar 22, 2021 - Haskell
Λ ⚬ λ: Functional Lattice Cryptography
A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter
Lattices in Cryptography (University of Michigan)
Bi-directional Lattice Recurrent Neural Networks for Confidence Estimation
practical quantum-secure key encapsulation from generic lattices
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
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
A cuda enumeration library that can be used by fplll, using the external enumerator API
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.
Counting (maximal) antichains of non-crossing partitions
Contains the codes and formal context files for (maximal) antichains of Tamari lattices
The goal of this project is to implement TwoNeighbours (TN) by B. Hemkemeier and HermitianNeighbours (HN) by A. Schiemann in MAGMA.
Interfaces for heyting algebras and verified bounded join and meet semilattices
Programming Assignment for CS F222: Discrete Structures for Computer Science in BITS Pilani, Pilani Campus (Fall '21)
Mathematical cryptography (custom implementations).
This project returns the type of Bravais lattices based on your data about the axes and angles(in three dimensions, there are 14 distinct Bravais lattices).
Add a description, image, and links to the lattices topic page so that developers can more easily learn about it.
To associate your repository with the lattices topic, visit your repo's landing page and select "manage topics."