saolof
Follow
Pinned Loading
-
Reasonably fast pairing heap impleme...
Reasonably fast pairing heap implementation 1struct EmptyHeap{T} end
2struct PairingTree{T}
3top::T
4length::Int
5subheaps::Union{PairingTree{T},Nothing}
-
Quick minikanren implementation that...
Quick minikanren implementation that I'm planning to grow into an rkanren with a Dataframe-based datalog-like subset when I will finally have the time 1using FunctionalCollections
2using MacroTools
3using DataFrames
45# Data structures designed for this problem
-
Various modern implementations of Ta...
Various modern implementations of Tarjans algorithm, for a PR to LightGraphs 1using LightGraphs
2using SimpleTraits
3using BenchmarkTools
4using GraphPlot
5 -
Numerically stable LLL algorithm usi...
Numerically stable LLL algorithm using Givens rotations 1#
2# Loosely based on the paper at https://core.ac.uk/download/pdf/82729885.pdf but with some significant deviation.
3#
4# This implementation should be robust even for bad inputs with large condition numbers. The reduced basis of a lattice L with basis
5# vectors as columns of a matrix M is given by M*lll_unimod(M) .
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.