A collection of discrete lattices

Some code for lattice-based consensus clustering

Hecke operators for unitary groups over imaginary quadratic number fields

Lovasz Integer Relation Algorithm: find a basis for the lattice of integer vectors orthogonal to the one specified

Interfaces for heyting algebras and verified bounded join and meet semilattices

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

Bi-directional Lattice Recurrent Neural Networks for Confidence Estimation

A Lattice Library for Julia

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).

Λ ⚬ λ: Functional Lattice Cryptography

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

Programming Assignment for CS F222: Discrete Structures for Computer Science in BITS Pilani, Pilani Campus (Fall '21)

Dedekind numbers and today fastest computers.

Mathematical cryptography (custom implementations).

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.

The goal of this project is to recreate both "TwoNeighhbours" (TN) by B. Hemkemeier and "HermitianNeighbours" (HN) by A. Schiemann in modern C++.

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.