Showreally (MarcoSciorilli)

MarcoSciorilli

Geek Repo

Company:SISSA-ICTP-Dept. of Maths, UniTS

Location:Trieste, Italy

Home Page:https://www.linkedin.com/in/marco-sciorilli-a36b23201/

Github PK Tool:Github PK Tool

Showreally's starred repositories

python-project-template

DO NOT FORK, CLICK ON "Use this template" - A github template to start a Python Project - this uses github actions to generate your project based on the template.

Language:MakefileLicense:UnlicenseStargazers:1106Issues:18Issues:18

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Language:C++License:MITStargazers:959Issues:12Issues:38

PythonCall.jl

Python and Julia in harmony.

Language:JuliaLicense:MITStargazers:776Issues:7Issues:423

hypermapper

Black-box Optimizer based on Bayesian Optimization

Language:C++License:MITStargazers:152Issues:10Issues:48

quantum

Tensor-Based Quantum Machine Learning

Language:PythonLicense:BSD-3-ClauseStargazers:116Issues:4Issues:5

MQLib

Implementations of heuristics for the Max-cut and QUBO problems in C++

Language:C++License:MITStargazers:70Issues:8Issues:6

MNISQ-quantum-circuit-dataset

MNISQ circuit dataset for machine learning and quantum machine learning

Language:PythonLicense:CC-BY-SA-4.0Stargazers:21Issues:2Issues:0

scikit-qulacs

scikit-qulacs is a library for quantum neural network. This library is based on qulacs and named after scikit-learn.

Language:PythonLicense:MITStargazers:21Issues:2Issues:117

Differentiable-quantum-circuit-cuda

Fast differentiable quantum circuits on GPU

Language:RustLicense:MITStargazers:1Issues:1Issues:0

MQLib

Implementations of heuristics for the Max-cut and QUBO problems in C++

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