- All languages
- Arduino
- AsciiDoc
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Coq
- Cuda
- Dafny
- Elixir
- Erlang
- GDScript
- Go
- HCL
- HTML
- Io
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- Noir
- Nunjucks
- OCaml
- PHP
- PLpgSQL
- Python
- R
- Roff
- Ruby
- Rust
- SAS
- SCSS
- Sage
- Scala
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- TeX
- TypeScript
- Vue
- WebAssembly
- Wikitext
- Yacc
- Yul
Starred repositories
Ghidra is a software reverse engineering (SRE) framework
a fast, scalable, multi-language and extensible build system
Building Open-Ended Embodied Agents with Internet-Scale Knowledge
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Model-rocketry aerodynamics and trajectory simulation software
MineRL Competition for Sample Efficient Reinforcement Learning - Python Package
Open-source Ethereum consensus client written in Java
OREKIT is a free low level space dynamics library written in Java. Please visit our Gitlab instance for issues and contributions: https://gitlab.orekit.org
ZomboidDoc is a Lua library compiler for Project Zomboid.
txrx-research / teku
Forked from Consensys/tekuJava Implementation of the Ethereum 2.0 Beacon Chain