Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
OBS Studio - Free and open source software for live streaming and screen recording
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…
stb single-file public domain libraries for C/C++
UNIX-like reverse engineering framework and command-line toolset
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
Affordable WiFi hacking platform for testing and learning
A single-header ANSI C immediate mode cross-platform GUI library
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
A repository for learning various heap exploitation techniques.
A customisable 3D platform for agent-based AI research
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Recurrent neural network for audio noise reduction
GNU toolchain for RISC-V, including GCC
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
Open source, local, and self-hosted Amazon Echo/Google Home competitive Voice Assistant alternative