ste-pac

followers

following

stars

Italy

Organizations

neuronika

Stefano Pacchini's starred repositories

cosmic-epoch

Next generation Cosmic desktop environment

Language:Just173400

cosmic-desktop

✨ Soothing pastel theme for COSMIC Desktop Environment

Language:PythonMIT7200

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION152100

RustPython

A Python Interpreter written in Rust

Language:RustMIT1803600

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookMIT1362700

wg-allocators

Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!

windows

Windows inside a Docker container.

Language:ShellMIT1555600

awesome-knowledge-distillation

Awesome Knowledge Distillation

Apache-2.0335600

mlib

Library of generic and type safe containers in pure C language (C99 or C11) for a wide collection of container (comparable to the C++ STL).

Language:CBSD-2-Clause83400

Awesome-Knowledge-Distillation

Awesome Knowledge-Distillation. 分类整理的知识蒸馏paper(2014-2021)。

FasterViT

[ICLR 2024] Official PyTorch implementation of FasterViT: Fast Vision Transformers with Hierarchical Attention

Language:PythonNOASSERTION72800

Knowledge-Distillation-Zoo

Pytorch implementation of various Knowledge Distillation (KD) methods.

Language:Python154700

qelectrotech-source-mirror

Main QET repository, Bugtracker: https://qelectrotech.org/bugtracker/

Language:C++GPL-2.026300

rusty

Structured Text Parser and LLVM Frontend

Language:RustLGPL-3.019000

anomalib

An anomaly detection library comprising state-of-the-art algorithms and features such as experiment management, hyper-parameter optimization, and edge inference.

Language:PythonApache-2.0339300

pytorch-image-models

The largest collection of PyTorch image encoders / backbones. Including train, eval, inference, export scripts, and pretrained weights -- ResNet, ResNeXT, EfficientNet, NFNet, Vision Transformer (ViT), MobileNetV4, MobileNet-V3 & V2, RegNet, DPN, CSPNet, Swin Transformer, MaxViT, CoAtNet, ConvNeXt, and more

Language:PythonApache-2.03064300

C-Macro-Collections

Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

Language:CMIT50400

conan

Conan - The open-source C and C++ package manager

Language:PythonMIT796600

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustMIT98600

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Language:RustNOASSERTION178600

piq

Measures and metrics for image2image tasks. PyTorch.

Language:PythonApache-2.0131700

ghidra

Ghidra is a software reverse engineering (SRE) framework

Language:JavaApache-2.04915200

afl.rs

🐇 Fuzzing Rust code with American Fuzzy Lop

Language:RustApache-2.0159600

anaconda

System installer for Fedora, RHEL and other distributions

Language:PythonGPL-2.052600

FreeCAD

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Language:C++NOASSERTION1824500

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.02984900

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Language:RustNOASSERTION2781000

miniserde

Data structure serialization library with several opposite design goals from Serde

Language:RustApache-2.075500

ruff

An extremely fast Python linter and code formatter, written in Rust.

Language:RustMIT2873200

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT3208600