Alessandro Cheli's Projects
Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
👨🏻💻 Command line interface for user input
Main public package repository for OPAM, the source package manager of OCaml.
Java Midterm Project for Programming 2 Course @ UniPisa
Tectonic typesetting for Julia.
interface for symbolic terms
A single-file web gallery. Uses EXIF thumbnails to quickly display thumbnails for a directory with no server-side code
Procedural generation of geometric patterns and fractals.
Experiments in very fast implementation of Dictionaries of bits types
The Void source packages collection
my slstatus fork
The General Purpose Vulkan Compute Framework. Blazing fast, mobile-enabled, asynchronous and optimized for advanced GPU data processing usecases.
EGraph based quantum circuit simplification via Metatheory
Yet another Scheme implemented in Haskell