Adam Ever-Hadani

@adamhadani · User

GitHub profile ↗ · Compare

59 followers51 repositories

Repositories

adamhadani/superpatterns

k-superpatterns: bounds, constructions, Lean-verified certificates and random-permutation thresholds (LLM-assisted research)

★ 0PythonForks 0

adamhadani/artscripture

A modern, feature rich, and ergonomic music transcription App for macOS — Apple Silicon native

★ 0SwiftForks 0

adamhadani/logtools

Command-line utilities for working with log files - filtering, sampling, IP-based geolocation, summary statistics etc.

★ 169PythonForks 27

adamhadani/PyTorch-Adventures

This repository contains an exhaustive coverage of a hands on approach to PyTorch along side powerful tools to accelerate model tuning and training

★ 0Forks 0

adamhadani/uvadlc_notebooks

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

★ 0Forks 0

adamhadani/zim-utils

Various command-line utilities for working with the zim file format

★ 4C++Forks 0

adamhadani/ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.

★ 0PythonForks 0

adamhadani/pytrees

Python/C Implementation of various tree data structures / algorithms

★ 3C++Forks 0

adamhadani/rdflib

RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.

★ 0PythonForks 0

adamhadani/spaCy

💫 Industrial-strength Natural Language Processing (NLP) with Python and Cython

★ 0PythonForks 0