Lists (1)
Sort Name ascending (A-Z)
Stars
Supporting tools for Android/Linux on the iPhone
EDK2 for Legacy Apple ARM32 SoCs with devices such as iPhone 5/5c iPad 2.
open-source jailbreaking tool for many iOS devices
lenary / opentitan
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Cross-platform, fast, feature-rich, GPU based terminal
Wrapper for the ABC-machine used by the Clean language
Mathics 3D Graphics backend using three.js
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Reference implementation of code generation projects from Facebook AI Research. General toolkit to apply machine learning to code, from dataset creation to model training and evaluation. Comes with…
A universal translator for programming languages
A code rewrite tool for structural search and replace that supports ~every language.
HPC-oriented transpiler for C, C++, Cython, Fortran, OpenCL and Python.
Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)
Convert anything from C++ to Lua and back, easily create modules & more.
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…
yenw / KataGo
Forked from lightvector/KataGoGTP engine and self-play learning in Go
A local Go game analysis server using the Leela Zero engine.