Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Coq
- Cuda
- Cython
- DIGITAL Command Language
- Elixir
- GAP
- Go
- HTML
- Hack
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- M
- MATLAB
- Makefile
- Markdown
- Mathematica
- Max
- MiniZinc
- Nix
- OCaml
- Objective-C
- PHP
- Pawn
- Perl
- PostScript
- Python
- Roff
- Ruby
- Rust
- Sage
- Scala
- Shell
- Standard ML
- TSQL
- TeX
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
Programs in Magma used to determine the Q-gonality of modular curves X_0(N)
A curated list of resources about post-quantum cryptography.
A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and payload data types written in C++ accompanied by a bachelor's…
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Library for Polynomial System Solving through Algebraic Methods
Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches
GNU Linear Programming Kit for Javascript
the blessed package to manage your versions by scm tags
Help me analyze bandaged Rubik's cubes.
CTFNote is a collaborative tool aiming to help CTF teams to organise their work.
Challenge source code and author write-ups for KalmarCTF
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2