André Dal Bosco's repositories
charon
Interface with the rustc compiler for the purpose of program verification
Language:RustApache-2.0000
damn-vulnerable-defi
The offensive security playground for the decentralized finances.
Language:SolidityMIT000
000
ffmpeg.wasm
FFmpeg for browser, powered by WebAssembly
Language:JavaScriptMIT000
homebrew-utils
Personal homebrew formulas for my workflow.
Language:Ruby000
KaTeX
Fast math typesetting for the web.
Language:JavaScriptMIT000
moodle-dl
Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)
Language:PythonGPL-3.0000
rubber
Fork from https://gitlab.com/latex-rubber/rubber.
Language:PythonGPL-3.0000
solang
Solidity Compiler for Solana and Substrate
Language:RustApache-2.0000
vscode-blender
Visual Studio Code extension for Blender development.
MIT000
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language:TypeScriptApache-2.0000