- Spain
Lists (3)
Sort Name ascending (A-Z)
- All languages
- AGS Script
- Ada
- Arduino
- Assembly
- Bikeshed
- Boogie
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- F*
- Fortran
- Gnuplot
- Go
- HCL
- HTML
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Meson
- OCaml
- Objective-C
- OpenQASM
- PHP
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Pug
- PureScript
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SCSS
- SVG
- Sage
- Sass
- Scala
- Shell
- Sieve
- Solidity
- Stylus
- Svelte
- Swift
- SystemVerilog
- TeX
- Toit
- TypeScript
- Typst
- V
- Vue
- WebAssembly
- XSLT
- Zig
- eC
Starred repositories
Spring Boot helps you to create Spring-powered, production-grade applications and services with absolute minimum fuss.
ZXing ("Zebra Crossing") barcode scanning library for Java, Android
a fast, scalable, multi-language and extensible build system
A tool for reverse engineering Android apk files
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.
Style and Grammar Checker for 25+ Languages
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Source Code for Android Course Example Applications
FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)
Ghidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool loading, convention enforcement, batch operations, Ghidra Server integration, and Dock…
A Burp Suite extension that integrates OpenAI's GPT to perform an additional passive scan for discovering highly bespoke vulnerabilities and enables running traffic-based analysis of any type.
A platform that makes it easy for developers to build realtime, cost-effective, operations-focused applications
Vulnerable app with examples showing how to not use secrets
Examples of SPDX files for software combinations
TLS-Anvil, a fully automated TLS testsuite for client and servers.
Artifacts for the ACM CCS 2025 paper "Pixnapping: Bringing Pixel Stealing out of the Stone Age"
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
Post-quantum cryptography certificates
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
liboqs-java is an open source Java wrapper for the liboqs C library. The Open Quantum Safe (OQS) project provides software for prototyping quantum-resistant cryptography.
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
a bad computer algebra system. Don't use it. It's bad. Very bad.