0x0f0f0f

memplot

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

gobba

A purely functional dynamically typed programming language.

tripbot9000

Procedural generation of geometric patterns and fractals.

computability-complexity-cheat-sheets

TeX code for Computability Theory and Complexity Theory Cheat Sheets

gobba-golang

metatheory-juliacon-2021-slides

Slides for the Metatheory.jl 2021 juliacon talk

MTMaths.jl

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

calcurse-telegram-bot

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

kompute-go

lineaedits.github.io

lwa-techniques

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

YaoEGraph.jl

EGraph based quantum circuit simplification via Metatheory

0x0f0f0f.github.io

AMDGPU.jl

AMD GPU (ROCm) programming in Julia

Catlab.jl

A framework for applied category theory in the Julia language

Expronicon.jl

Collective tools for metaprogramming on Julia Expr

ferret

Declarative web scraping

General

The official registry of general Julia packages

IBMQ-Julia

Uploading Yao circuits

IIA.jl

Code for exercises for the introduction to artificial intelligence at UniPisa

metatheory-garbage

old tests and experiments that have to be cleaned up and updated to latest MT

Mixtape.jl

Made a million off a mixtape.

ModelingToolkit.jl

A modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pr2-assignment

Java Midterm Project for Programming 2 Course @ UniPisa

Tectonic.jl

Tectonic typesetting for Julia.

TermInterface.jl

interface for symbolic terms

VeryFastDict.jl

Experiments in very fast implementation of Dictionaries of bits types

void-packages

The Void source packages collection

vulkan-kompute

The General Purpose Vulkan Compute Framework. Blazing fast, mobile-enabled, asynchronous and optimized for advanced GPU data processing usecases.