Lists (15)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- Cairo
- Circom
- CoffeeScript
- Cuda
- Cython
- Emacs Lisp
- Go
- HTML
- Haskell
- JSONiq
- Jai
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- MLIR
- Makefile
- OCaml
- Objective-C
- Perl
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SMT
- Sage
- Scala
- Shell
- Solidity
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
- Zig
mariodian / jobs
Forked from arosstale/jobsAnalyzing how susceptible every occupation in the US economy is to AI and automation, using data from the Bureau of Labor Statistics
trailofbits / gosentry
Forked from golang/goSecurity-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.
trailofbits / go-panikint
Forked from golang/goIt's the Go compiler, but it panics on arithmetic and truncation issues.
Awesome curated collection of images and prompts generated by gemini-2.5-flash-image (aka Nano Banana) state-of-the-art image generation and editing model. Explore AI generated visuals created with…
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
binarygolf / BGGP
Forked from netspooky/BGGPBinary Golf Grand Prix
trholding / llama2.c
Forked from karpathy/llama2.cLlama 2 Everywhere (L2E)
bata24 / gef
Forked from hugsy/gefGEF - GDB Enhanced Features - bata24's fork
fgsect / WAFL
Forked from WAVM/WAVMBinary-only fuzzer for WebAssembly (WASI)