Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cuda
- Cython
- F#
- Forth
- Fortran
- Go
- HCL
- HTML
- Handlebars
- Haskell
- JCL
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- Makefile
- Markdown
- Meson
- NSIS
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- Python
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Shell
- TLA
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- YARA
- Zig
Ghidra is a software reverse engineering (SRE) framework
A free, secure and open source app for Android to manage your 2-step verification tokens.
Fully featured, open source, privacy friendly email app for Android
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Ghidra utilities for analyzing PC firmware
FDT is an Application for Efficient Data Transfers which is capable of reading and writing at disk speed over wide area networks (with standard TCP). It is written in Java, runs an all major platfo…
BubblesRNG: A True Random Number Generator Using Air Bubbles As An Unconventional Source Of Entropy