Berlin

Alessandro Cheli

Elite
@0x0f0f0f

Previously dev at @xyflow and R&D @PlantingSpace. Into applied category theory, compiler engineering, string diagrams, and neurosymbolic AI

cheli.dev

memplot. Generate image plots of processes' memory usage very quickly, within a single binary.

179

ResultTypes.jl. A Result type for Julia—it's like Nullables for Exceptions

99

gobba. A purely functional dynamically typed programming language.

56

tripbot9000. Procedural generation of geometric patterns and fractals.

23

dune-starter-project. A simple OCaml project skeleton using dune, ppx_deriving and alcotest.

23

yasih. Yet another Scheme implemented in Haskell

20

computability-complexity-cheat-sheets. TeX code for Computability Theory and Complexity Theory Cheat Sheets

9

dna2music. Converting DNA to MIDI

5

gobba-golang. Go

4

minicaml. This is the old source code archive for minicaml. The project has been renamed to gobba!

3

MTMaths.jl. Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl

3

metatheory-juliacon-2021-slides. Slides for the Metatheory.jl 2021 juliacon talk

2

lwa-techniques. Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"

1

osl-supermarket. C

1

YaoEGraph.jl. EGraph based quantum circuit simplification via Metatheory

1

lineaedits.github.io. HTML

1

kompute-go. C++

1

concurrent-data-structures. C

1

ThinGallery. A single-file web gallery. Uses EXIF thumbnails to quickly display thumbnails for a directory with no server-side code

1

calcurse-telegram-bot. Telegram bot that parses and handles calcurse events and todos through a git (dotfiles) repository

1
20
Apply