go-recipes🦩 Tools for Go projects
Stars: ✭ 2,490 (+4880%)
Mutual labels: static-analysis, code-generation
SpoonSpoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.
Stars: ✭ 1,078 (+2056%)
Mutual labels: static-analysis, code-generation
RascalThe implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Stars: ✭ 284 (+468%)
Mutual labels: static-analysis, code-generation
Ts MorphTypeScript Compiler API wrapper for static analysis and programmatic code changes.
Stars: ✭ 2,384 (+4668%)
Mutual labels: static-analysis, code-generation
CryptoanalysisCogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Stars: ✭ 36 (-28%)
Mutual labels: static-analysis, cryptography
Cryptojs.swiftCross-platform cryptographic functions in swift
Stars: ✭ 42 (-16%)
Mutual labels: cryptography
IntellidroidA targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-8%)
Mutual labels: static-analysis
ClairVulnerability Static Analysis for Containers
Stars: ✭ 8,356 (+16612%)
Mutual labels: static-analysis
CryptoinactionCIA - CryptoInAction
Stars: ✭ 42 (-16%)
Mutual labels: cryptography
Scala Db CodegenScala code/boilerplate generator from a db schema
Stars: ✭ 49 (-2%)
Mutual labels: code-generation
Omemo TopTracking the Progress of OMEMO Integration in various clients
Stars: ✭ 47 (-6%)
Mutual labels: cryptography
MundaneMundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
Stars: ✭ 1,033 (+1966%)
Mutual labels: cryptography
GopaqueGo implementation of OPAQUE (hidden password user registration and auth)
Stars: ✭ 43 (-14%)
Mutual labels: cryptography
JoeeccElliptic Curve Cryptography playground/toolkit written in pure Python
Stars: ✭ 46 (-8%)
Mutual labels: cryptography
DomtresatDominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (-16%)
Mutual labels: static-analysis
KeysUncomplicated cryptography frameworks base on CommonCrypto
Stars: ✭ 47 (-6%)
Mutual labels: cryptography
CryptocatSecure chat software for your computer.
Stars: ✭ 1,011 (+1922%)
Mutual labels: cryptography
Write Ups📚 VoidHack CTF write-ups
Stars: ✭ 45 (-10%)
Mutual labels: cryptography
ExonumAn extensible open-source framework for creating private/permissioned blockchain applications
Stars: ✭ 1,037 (+1974%)
Mutual labels: cryptography
DogenReference implementation of the MASD Code Generator.
Stars: ✭ 44 (-12%)
Mutual labels: code-generation