koraa
Follow
-
helix-cli Public
Forked from adobe/helix-cliCommand-line tools for developing with helix
JavaScript Apache License 2.0 UpdatedNov 4, 2024 -
argyle-kyber Public
Forked from bwesterb/argyle-kyberFork of pqc_kyber with some safety fixes
Rust Apache License 2.0 UpdatedSep 8, 2024 -
-
pipe_exec Public
Execute binaries from pipes, stdin and ttys
-
-
huniq Public
Filter out duplicates on the command line. Replacement for `sort | uniq` optimized for speed (10x faster) when sorting is not needed.
-
-
hashes Public
Forked from RustCrypto/hashesCollection of cryptographic hash functions written in pure Rust
Rust UpdatedOct 18, 2023 -
liboqs-rust Public
Forked from open-quantum-safe/liboqs-rustRust bindings for liboqs
Rust Apache License 2.0 UpdatedOct 3, 2023 -
chatGPTBox Public
Forked from josStorer/chatGPTBoxIntegrating ChatGPT into your browser deeply, everything you need is here
JavaScript MIT License UpdatedJun 12, 2023 -
jittr Public
Forked from eero-lehtinen/jittrA binary heap based jitter buffer implementation for zero latency udp/rtp streams
Rust MIT License UpdatedMar 26, 2023 -
iacr-events-scraper Public
Scrape https://iacr.org/events/ and export an ICS file for your calendar
-
cupdev.net Public
This is the repository for my website on cupdev.net
-
with_drop Public
with_drop: Nostd wrapper for using a closure as a custom drop function
-
proverif.vim Public
Basic proverif support for VIM files.
-
material.nvim Public
Forked from marko-cerovac/material.nvim🔱 Material colorscheme for NeoVim written in Lua with built-in support for native LSP, TreeSitter and many more plugins
Lua GNU General Public License v2.0 UpdatedJul 11, 2022 -
-
patricia-gallardo.github.io Public
Forked from patricia-gallardo/patricia-gallardo.github.ioHTML Other UpdatedMar 9, 2022 -
GlobalProtect-openconnect Public
Forked from yuezk/GlobalProtect-openconnectA GlobalProtect VPN client (GUI) for Linux, based on OpenConnect and built with Qt5, supports SAML auth mode.
-
liboqs Public
Forked from open-quantum-safe/liboqsC library for prototyping and experimenting with quantum-resistant cryptography
C Other UpdatedJul 29, 2021 -
decryption-despite-errors Public
Achieving security against fuzzing and improving bandwidth efficiency by combining FEC and symmetric encryption.
-
sheetmusic Public
Collection of sheet music I created
-
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedApr 13, 2021 -
-
-
-
-
lighthouse Public
Forked from GoogleChrome/lighthouseAutomated auditing, performance metrics, and best practices for the web.
JavaScript Apache License 2.0 UpdatedOct 26, 2020 -
docdash Public
Forked from clenemt/docdash⚡ Lodash inspired JSDoc 3 template/theme
JavaScript Other UpdatedJan 26, 2020 -