Pinned Repositories
hhvm
A virtual machine for executing programs written in Hack.
redex
A bytecode optimizer for Android apps
SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
js2py
A Javascript-to-Python translation assistant.
metajs
Visualize your Javascript with a CPS metacircular interpreter.
open-syobon-action.js
Patched Open Syobon Action for compilation with Emscripten.
vim-extradite
A git commit browser for vim. Extends fugitive.vim.
vim-taglist-plus
Unmaintained -- You should probably use TagBar.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
doppio
Breaks the browser language barrier (includes a plugin-free JVM).
int3's Repositories
int3/vim-extradite
A git commit browser for vim. Extends fugitive.vim.
int3/metajs
Visualize your Javascript with a CPS metacircular interpreter.
int3/open-syobon-action.js
Patched Open Syobon Action for compilation with Emscripten.
int3/js2py
A Javascript-to-Python translation assistant.
int3/closure-interpreter
Yet another metacircular JavaScript interpreter.
int3/pyesprima
Python port of Esprima, the Javascript parser.
int3/java2asm
int3/half-and-half
A simple partial evaluator for Javascript.
int3/dsjt
dead simple java tracer
int3/camelcasemotion
Motion through CamelCaseWords and underscore_notation.
int3/AITemplate
AITemplate is a Python framework which renders neural network into high performance CUDA/HIP C++ code. Specialized for FP16 TensorCore (NVIDIA GPU) and MatrixCore (AMD GPU) inference.
int3/coffee-script
Unfancy JavaScript
int3/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
int3/findutils
Rust implementation of findutils
int3/ghcmod-vim
Happy Haskell programming on Vim, powered by ghc-mod
int3/guile100
The repository for the 100 Guile Programs project
int3/hack-hhvm-docs
The Hack and HHVM manual and documentation
int3/hasksyn
A vim mode for Haskell
int3/homebrew
The missing package manager for OS X.
int3/ice-cream
int3/LambdaS5
Semantics for ES5
int3/llvm-js
int3/MIRAI
Rust mid-level IR Abstract Interpreter
int3/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
int3/redex
A bytecode optimizer for Android apps
int3/solidity
The Solidity Contract-Oriented Programming Language
int3/triton-cpu
An experimental CPU backend for Triton
int3/uctf-msp430-tools
int3/vim-hack
Syntax highlighting and typechecker integration for Hack.
int3/vim2hs
vim2hs :: Vim -> Haskell