-
inkpot16 Public
Forked from ciaranm/inkpotInkpot16 8/16/88/256 Colour Scheme for Vim
Vim Script UpdatedSep 28, 2024 -
Citip Public
Forked from coldfix/CitipInformation Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: https://xitip.epfl.ch/
C++ Other UpdatedAug 5, 2024 -
softspoken-implementation Public
Implementation of SoftSpokenOT. Forked from libOTe.
-
cryptoTools fork for SoftSpokenOT implementation.
-
libOTe Public
Forked from osu-crypto/libOTeA fast, portable, and easy to use Oblivious Transfer Library
Assembly Other UpdatedSep 8, 2023 -
llpp Public
Forked from criticic/llppllpp original source code before it turned to protestware. NOTE: changes are made on other branches, master is locked and remains as it was.
OCaml Other UpdatedAug 14, 2023 -
nist-sigs-zoo Public
Forked from PQShield/nist-sigs-zooExploration of NIST post-quantum signatures on-ramp candidates
JavaScript Other UpdatedJul 19, 2023 -
-
papilo Public
Forked from scipopt/papiloParallel Presolve for Integer and Linear Optimization
JetBrains MPS GNU Lesser General Public License v3.0 UpdatedFeb 2, 2023 -
slack-backup-python Public
Forked from ganesh-4212/slack-backup-pythonExporting slack channels, conversation using Web API
-
sommelier Public
Forked from iczero/sommelierA fork of Chromium's wayland proxy to allow HiDPI X11 clients in swaywm
C UpdatedOct 25, 2022 -
libsodium-doc Public
Forked from jedisct1/libsodium-docGitbook documentation for libsodium
ISC License UpdatedSep 28, 2022 -
-
ae-generator Public
Forked from amaloz/ae-generatorAuthenticated encryption scheme prover/synthesizer
OCaml Other UpdatedAug 25, 2022 -
offlineimap Public
Forked from OfflineIMAP/offlineimapRead/sync your IMAP mailboxes (python2) [LEGACY: move to offlineimap3]
Python Other UpdatedMay 30, 2022 -
itcp Public
Forked from jayant91089/itcpInformation 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 cod…
GAP UpdatedApr 14, 2022 -
ShadowFox Public
Forked from Laxaria/ShadowFoxPersonal tweaks to Shadowfox
JavaScript MIT License UpdatedMar 21, 2022 -
-
flag-generator Public
Forked from 5teven1in/CTF-flag-generatorA CTF leet flag generator
Python MIT License UpdatedOct 28, 2021 -
-
stackpin Public
Forked from dureuill/stackpinCrate for data that should be pinned to the stack at the point of declaration.
Rust Apache License 2.0 UpdatedDec 28, 2020 -
drop-move Public
A Rust library to support moving out of drop.
Rust MIT License UpdatedDec 27, 2020 -
cooked-waker Public
Forked from Lucretiel/cooked-wakerA trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
Rust Mozilla Public License 2.0 UpdatedDec 23, 2020 -
generic-array Public
Forked from fizyk20/generic-arrayGeneric array types in Rust
Rust MIT License UpdatedSep 26, 2020 -
gnome-high-contrast-inverse-theme Public
Forked from kolanos/gnome-high-contrast-inverse-themePorting the Gnome theme HighContrastInverse to the latest version.
CSS UpdatedSep 10, 2020 -
-
entropy Public
Forked from haskell/entropyEasy entropy source for Haskell users.
Haskell Other UpdatedJan 5, 2020 -
computational-algebra Public
Forked from konn/computational-algebraLibrary to calculate Gröbner basis written in Haskell.
HTML BSD 3-Clause "New" or "Revised" License UpdatedDec 24, 2019 -
type-natural Public
Forked from konn/type-naturalType-level well-kinded natural numbers.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2019 -
ghc-typelits-presburger Public
Forked from konn/ghc-typelits-presburgerPresburger arithmetic solver for built-in type-level naturals
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2019