lzy-v

h4ck 4ud!0 v!$u4l r34l!7y

t3cn0m4g!4p4ch4m4m4

Pinned Repositories

abi-decompiler
Ethereum (EVM) smart contracts reverse engineering helper utility
Language:Python0 0 00
Adaptive-Filters
Language:Jupyter Notebook0 0 00
advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
0 0 00
ai-notebooks
Some ipython notebooks implementing AI algorithms
Language:Jupyter Notebook0 0 00
backdoors
Tools for maintaining access to systems and proof-of-concept demonstrations.
Language:Python1 0 00
challenge-writeups
Notes and short posts for CTF/Crackme writeups, designed to provide full explanations of the process from start to finish
Language:Python1 0 00
eurorack-cpu
A CPU implemented in a modular synthesizer
1 0 00
nostr
a truly censorship-resistant alternative to Twitter that has a chance of working
1 0 00
proofs
A selection of formal proofs in Coq.
Language:Coq1 0 00
unit
Next Generation Visual Programming System
Language:TypeScript3.1k 42 062

lzy-v's Repositories

lzy-v/proofs
A selection of formal proofs in Coq.
Language:Coq1 0 00
lzy-v/Adaptive-Filters
Language:Jupyter Notebook0 0 00
lzy-v/arch-arm64
Aarch64 architecture plugin
Language:C0 0
lzy-v/cannon
On chain interactive fault prover for Ethereum
Language:Go0 0
lzy-v/chromium
The official GitHub mirror of the Chromium source
0 0
lzy-v/darkreader
Dark Reader Chrome and Firefox extension
Language:TypeScript0 0
lzy-v/deepdow
Portfolio optimization with deep learning.
Language:Python0 0
lzy-v/dot
Personal and professional dotfiles to setup my personal workspace on any Debian/Ubuntu system. Also available as rwxrob/workspace container.
Language:Shell0 0
lzy-v/dropwizard
A damn simple library for building production-ready RESTful web services.
Language:Java0 0
lzy-v/flax
Flax is a neural network library for JAX that is designed for flexibility.
Language:Python0 0
lzy-v/gdal
GDAL is an open source X/MIT licensed translator library for raster and vector geospatial data formats.
Language:C++0 0
lzy-v/geopandas
Python tools for geographic data
Language:Python0 0
lzy-v/habitat-sim
A flexible, high-performance 3D simulator for Embodied AI research.
Language:C++0 0
lzy-v/hashpass
A simple password manager with a twist.
Language:TypeScript0 0
lzy-v/IdMyPhBuildingFootprints
ML generated building footprints for Indonesia, Malaysia, and Philippines
0 0
lzy-v/kepler.gl
Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.
Language:JavaScript0 0
lzy-v/mapchete
Tile-based geodata processing using rasterio & Fiona
Language:Python0 0
lzy-v/matplotlib
matplotlib: plotting with Python
Language:Python0 0
lzy-v/nicotine-plus
Graphical client for the Soulseek peer-to-peer network
Language:Python0 0
lzy-v/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Language:Python0 0
lzy-v/pdf.js
PDF Reader in JavaScript
lzy-v/pyenv
Simple Python version management
Language:Roff0 0
lzy-v/serenity
The Serenity Operating System 🐞
Language:C++0 0
lzy-v/solaris
CosmiQ Works Geospatial Machine Learning Analysis Toolkit
Language:Python0 0
lzy-v/solidity
Solidity, the Smart Contract Programming Language
Language:C++0 0
lzy-v/torchgeo
TorchGeo: datasets, transforms, and models for geospatial data
Language:Python0 0
lzy-v/typical
Data interchange with algebraic data types.
Language:Rust0 0
lzy-v/ungoogled-chromium
Google Chromium, sans integration with Google
Language:Python0 0
lzy-v/USBuildingFootprints
Computer generated building footprints for the United States
0 0
lzy-v/uvadlc_notebooks
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021
Language:Jupyter Notebook0 0