Skip to content
View marcoantoniocorallo's full-sized avatar
🎶
🎶

Highlights

  • Pro

Organizations

@Unipisa

Block or report marcoantoniocorallo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.

TypeScript 510 8 Updated Sep 11, 2024

Master programming by recreating your favorite technologies from scratch.

Markdown 302,403 28,361 Updated Sep 3, 2024

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

Java 51 32 Updated Aug 16, 2024

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

Jupyter Notebook 37,578 3,951 Updated Jul 28, 2024

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

HTML 11,852 795 Updated Aug 26, 2024

tic-tac-toe in a single call to printf

C 2,206 53 Updated Jun 8, 2022

Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples

Jupyter Notebook 881 170 Updated Jun 10, 2023

Rust Server Components. JSX-like syntax and async out of the box.

Rust 63 6 Updated Feb 15, 2024
OCaml 3 Updated Sep 15, 2023

Binary Analysis Platform

OCaml 2,054 273 Updated Aug 14, 2024
JavaScript 10 1 Updated Apr 13, 2023

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Rust 13,229 1,350 Updated Sep 27, 2024

Systems language with linear types and capability-based security.

OCaml 1,113 40 Updated Jun 24, 2024

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Rust 27,604 1,642 Updated Sep 27, 2024

Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

OCaml 34 7 Updated Dec 5, 2022

Resumes generated using the GitHub informations

JavaScript 61,903 1,356 Updated Feb 15, 2023

Some setup scripts for security research tools.

Shell 8,406 1,880 Updated Nov 21, 2023

A list of remote-friendly or full-remote companies that targets Italian talents.

Go 2,339 305 Updated Sep 11, 2024

This is just an excerpt from the concepts found in the book "Clean Code" by Robert C. Martin

19 1 Updated Feb 16, 2020

OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.

HTML 1,102 675 Updated Sep 29, 2024

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

PHP 57,140 23,768 Updated Sep 28, 2024

THQ uDraw Game Tablet for PS3 Linux driver

C 8 1 Updated Apr 21, 2018

This is an interpreter in Ocaml of Operational Semantics. It implements lots of basic operations, plus Dictionaries such as the ones of Python.

OCaml 2 Updated Apr 28, 2019
Jupyter Notebook 5 1 Updated Nov 21, 2022

Project for Operating Systems Lab @ Unipi CS, 2019

C 2 Updated Oct 10, 2019

Project which creates a keyboard that can be played through the exclusive movement of the body or objects (to do this it is necessary to use the webcam), held in the course of Interface Programming…

HTML 1 Updated Nov 29, 2020