ldr709

Pinned Repositories

admin
Issue tracker, wiki, fliers, posters
0 2 00
ae-generator
Authenticated encryption scheme prover/synthesizer
Language:OCaml0 2 00
Citip
Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/
Language:C++0 0 00
gollum-dark-theme
A Dark theme for Gollum wiki
Language:CSS5 2 04
schnorr-pcf-rust
Implementation of https://ia.cr/2023/216
Language:Rust1 2 00
slack-backup-python
Exporting slack channels, conversation using Web API
Language:Python1 1 01
softspoken-implementation
Implementation of SoftSpokenOT. Forked from libOTe.
Language:C++10 1 25
softspoken-implementation-cryptotools
cryptoTools fork for SoftSpokenOT implementation.
Language:C++1 1 13

ldr709's Repositories

ldr709/softspoken-implementation
Implementation of SoftSpokenOT. Forked from libOTe.
Language:C++10 1 25
ldr709/schnorr-pcf-rust
Implementation of https://ia.cr/2023/216
Language:Rust1 2 00
ldr709/slack-backup-python
Exporting slack channels, conversation using Web API
Language:Python1 1 01
ldr709/softspoken-implementation-cryptotools
cryptoTools fork for SoftSpokenOT implementation.
Language:C++1 1 13
ldr709/ae-generator
Authenticated encryption scheme prover/synthesizer
Language:OCaml0 2 00
ldr709/Citip
Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/
Language:C++0 0 00
ldr709/computational-algebra
Library to calculate Gröbner basis written in Haskell.
Language:HTML0 1 00
ldr709/cooked-waker
A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
Language:Rust1 0
ldr709/cryptoToolsPopf
Fork for developement of POPF OT
Language:C++3 0
ldr709/drop-move
A Rust library to support moving out of drop.
Language:Rust
ldr709/entropy
Easy entropy source for Haskell users.
Language:Haskell1 0
ldr709/flag-generator
A CTF leet flag generator
Language:Python1 0
ldr709/generic-array
Generic array types in Rust
Language:Rust1 0
ldr709/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Language:Haskell1 0
ldr709/gnome-high-contrast-inverse-theme
Porting the Gnome theme HighContrastInverse to the latest version.
Language:CSS
ldr709/inkpot16
Inkpot16 8/16/88/256 Colour Scheme for Vim
Language:Vim Script2 0
ldr709/itcp
Information Theoretic Converse Prover. A software for constructing explicit polyhedral converses in multi-source network coding. Also supports computation of weighted sum-rate bounds in network coding, worst case information ratio lower bounds in secret sharing, and graph guessing number upper bounds.
Language:GAP0 0
ldr709/libOTe
A fast, portable, and easy to use Oblivious Transfer Library
Language:Assembly1 0
ldr709/libsodium-doc
Gitbook documentation for libsodium
0 0
ldr709/llpp
llpp original source code before it turned to protestware. NOTE: changes are made on other branches, master is locked and remains as it was.
Language:OCaml0 0
ldr709/MiniPSI
Language:C0 0
ldr709/nist-sigs-zoo
Exploration of NIST post-quantum signatures on-ramp candidates
ldr709/offlineimap
Read/sync your IMAP mailboxes (python2) [LEGACY: move to offlineimap3]
Language:Python0 0
ldr709/papilo
Parallel Presolve for Integer and Linear Optimization
Language:JetBrains MPS0 0
ldr709/pdfjinjax
Language:Python0 0
ldr709/ShadowFox
Personal tweaks to Shadowfox
Language:JavaScript0 0
ldr709/sommelier
A fork of Chromium's wayland proxy to allow HiDPI X11 clients in swaywm
Language:C0 0
ldr709/stackpin
Crate for data that should be pinned to the stack at the point of declaration.
Language:Rust
ldr709/TicTacToe
Language:Idris
ldr709/type-natural
Type-level well-kinded natural numbers.
Language:Haskell1 0