lzy (lzy-v)

lzy-v

Geek Repo

Company:t3cn0m4g!4

Location:p4ch4m4m4

Home Page:https://discord.gg/tecnomagia

Github PK Tool:Github PK Tool

lzy's repositories

proofs

A selection of formal proofs in Coq.

Language:CoqLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

arch-arm64

Aarch64 architecture plugin

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cannon

On chain interactive fault prover for Ethereum

Language:GoLicense:MITStargazers:0Issues:0Issues:0

chromium

The official GitHub mirror of the Chromium source

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

darkreader

Dark Reader Chrome and Firefox extension

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

deepdow

Portfolio optimization with deep learning.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dot

Personal and professional dotfiles to setup my personal workspace on any Debian/Ubuntu system. Also available as rwxrob/workspace container.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dropwizard

A damn simple library for building production-ready RESTful web services.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

flax

Flax is a neural network library for JAX that is designed for flexibility.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

gdal

GDAL is an open source X/MIT licensed translator library for raster and vector geospatial data formats.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

geopandas

Python tools for geographic data

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

habitat-sim

A flexible, high-performance 3D simulator for Embodied AI research.

Language:C++License:MITStargazers:0Issues:0Issues:0

hashpass

A simple password manager with a twist.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

IdMyPhBuildingFootprints

ML generated building footprints for Indonesia, Malaysia, and Philippines

License:NOASSERTIONStargazers:0Issues:0Issues:0

kepler.gl

Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

mapchete

Tile-based geodata processing using rasterio & Fiona

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

matplotlib

matplotlib: plotting with Python

Language:PythonStargazers:0Issues:0Issues:0

nicotine-plus

Graphical client for the Soulseek peer-to-peer network

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

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:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

pdf.js

PDF Reader in JavaScript

License:Apache-2.0Stargazers:0Issues:0Issues:0

pyenv

Simple Python version management

Language:RoffLicense:MITStargazers:0Issues:0Issues:0

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

solaris

CosmiQ Works Geospatial Machine Learning Analysis Toolkit

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

solidity

Solidity, the Smart Contract Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

torchgeo

TorchGeo: datasets, transforms, and models for geospatial data

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

typical

Data interchange with algebraic data types.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ungoogled-chromium

Google Chromium, sans integration with Google

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

USBuildingFootprints

Computer generated building footprints for the United States

License:NOASSERTIONStargazers:0Issues:0Issues:0

uvadlc_notebooks

Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0