Giters
Emanuele Ballarin (emaballarin)

emaballarin

Geek Repo

504

followers

6k

following

2k

stars

Company:Dept. of Maths, UniTS | @LACoNIC-UniTS ⊆ @ailab-units | @sissa-data-science | @AI-Student-Society

Location:Trieste, Italy

Home Page:https://ballarin.cc/

Twitter:@emaballarin

Github PK Tool:Github PK Tool

Organizations
ailab-units
FauvealAI
LACoNIC-UniTS

Emanuele Ballarin's starred repositories

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

Language:PythonLicense:NOASSERTIONStargazers:214Issues:0Issues:0

auto_LiRPA

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

Language:PythonLicense:NOASSERTIONStargazers:267Issues:0Issues:0

GCP-CROWN

The official repo for GCP-CROWN paper

License:BSD-2-ClauseStargazers:11Issues:0Issues:0

PySR

High-Performance Symbolic Regression in Python and Julia

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

rip2

A safe and ergonomic alternative to rm

Language:RustLicense:GPL-3.0Stargazers:20Issues:0Issues:0

rip

A safe and ergonomic alternative to rm

Language:RustLicense:GPL-3.0Stargazers:1308Issues:0Issues:0

AmperageKit

One stop shop for enabling Recall in Windows 11 version 24H2 on unsupported devices

Language:C#Stargazers:310Issues:0Issues:0

robust-evaluation-of-diffusion-based-purification

[ICCV 2023 Oral] Official implementation of "Robust Evaluation of Diffusion-Based Adversarial Purification"

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

control-panel-for-twitter

Browser extension which gives you more control over your Twitter timeline and adds missing features and UI improvements - available for desktop and mobile browsers

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

monaspace

An innovative superfamily of fonts for code

Language:TypeScriptLicense:OFL-1.1Stargazers:12959Issues:0Issues:0

pykan

Kolmogorov Arnold Networks

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

colorout

Colorize R output in terminal emulators

Language:CStargazers:279Issues:0Issues:0

pak

A fresh approach to package installation

Language:CStargazers:636Issues:0Issues:0

devtools

Tools to make an R developer's life easier

Language:RLicense:NOASSERTIONStargazers:2365Issues:0Issues:0

autofd

Automatic Functional Differentiation in JAX

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

SLRLA-optimizer

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

low-bit-optimizers

Low-bit optimizers for PyTorch

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

ares

A Python library for adversarial machine learning focusing on benchmarking adversarial robustness.

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

TMNs

Triple Memory Networks: a Brain-Inspired Method for Continual Learning (TNNLS 2021)

Language:PythonStargazers:4Issues:0Issues:0

hype

A feed of trending repos/models from GitHub, Replicate, HuggingFace, and Reddit.

Language:JavaScriptLicense:Apache-2.0Stargazers:92Issues:0Issues:0

OFGB

GUI Tool To Removes Ads From Various Places Around Windows 11

Language:C#License:UnlicenseStargazers:5847Issues:0Issues:0

applied-ai

Applied AI experiments and examples for PyTorch

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

lolcat

High-performance implementation of https://github.com/busyloop/lolcat

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

modules

Environment Modules: provides dynamic modification of a user's environment

Language:TclLicense:GPL-2.0Stargazers:660Issues:0Issues:0

ggml

Tensor library for machine learning

Language:CLicense:MITStargazers:10095Issues:0Issues:0

apptainer

Apptainer: Application containers for Linux

Language:GoLicense:NOASSERTIONStargazers:961Issues:0Issues:0

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

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

lambdas

Write short and fully-typed lambdas where you need them.

Language:PythonLicense:BSD-2-ClauseStargazers:256Issues:0Issues:0

safe-assert

Safe and composable assert for Python that can be used together with optimised mode

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

duckdb

DuckDB is an analytical in-process SQL database management system

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