Beast code in Giters

Filipe Casal's starred repositories

graphtage

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

Language:PythonLGPL-3.02338 50 36

texme

Self-rendering Markdown + LaTeX documents

Language:JavaScriptMIT2267 37 22

sha256algorithm

Sha256 Algorithm Explained

Language:JavaScript1499 10 11

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustApache-2.01300 29 20

paranoid_crypto

Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Language:PythonApache-2.0786 24 10

circomspect

A static analyzer and linter for the Circom zero-knowledge DSL

Language:RustGPL-3.0216 16 4

vscode-weaudit

Create code bookmarks and code highlights with a click.

Language:TypeScriptGPL-3.0154 10 24

amarna

Amarna is a static-analyzer and linter for the Cairo programming language.

Language:PythonAGPL-3.0149 3 35

flatter

Fast lattice reduction

Language:C++LGPL-3.0149 4 11

hax

A Rust verification tool

Language:OCaml148 10 341

zkdocs

Interactive documentation on zero-knowledge proof systems and related primitives.

Language:HTMLCC-BY-4.0135 15 8

sapp

Post Processor for Facebook Static Analysis Tools.

Language:PythonMIT128 29 16

tlspuffin

A Dolev-Yao-model-guided fuzzer for TLS

Language:RustApache-2.0126 6 178

sarif-vscode-extension

SARIF Microsoft Visual Studio Code extension

Language:TypeScriptMIT102 12 242

necessist

A mutation-based tool for finding bugs in tests

Language:RustAGPL-3.099 23 37

EcneProject

Ecne: An engine for verifying the soundness of R1CS constraints

Language:JuliaGPL-3.098 2 3

BreakingRainbow

Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper

Language:C++78 7 1

Medjai

A Symbolic Execution Tool for Cairo

Language:RacketGPL-3.047 10

gh-qldb

CodeQL database manager

Language:Go42 10

bdd-predicate

Solving BDD and uSVP with predicate

Language:Python38 7 17

cm_factorization

Complex multiplication based factorization

Language:Jupyter NotebookMIT33 6 1

EasyTeach

Examples for EasyCrypt Lectures

Language:eC21 30

primes-backdoor

Prime backdooring procedure to allow fast factorization of semiprimes

Language:SageGPL-3.021 30

vscode-sarif-explorer

SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results

Language:TypeScriptGPL-3.015 9 11

numbat

Library to manipulate and create Sourcetrail databases

Language:PythonApache-2.013 6 1

amarna-action

Github action for the Amarna static analyzer

Language:Shell10 2 1

discrete-log

Practical Implementation of the Maurer Reduction

Language:Python8 30

vscode-starknet-explorer

StarkNet support extension for VSCode. Visualize StarkNet contracts: view storage variables, external and view functions, and events.

Language:TypeScriptAGPL-3.06 20

CryptoUtils.jl

Cryptography and number-theory primitives in Julia

Language:JuliaMIT5 2 1

iacr2021040

Implementation of attack described in "On the tropical discrete logarithm problem and security of a protocol based on tropical semidirect product"

Language:Python200