0x0f0f0f
R&D Scientist, building @PlantingSpace. I focus on category theory, functional programming, symbolics, and programming language theory
@PlantingSpaceItaly
Pinned Repositories
computability-complexity-cheat-sheets
TeX code for Computability Theory and Complexity Theory Cheat Sheets
dune-starter-project
A simple OCaml project skeleton using dune, ppx_deriving and alcotest.
gobba
A purely functional dynamically typed programming language.
memplot
Generate image plots of processes' memory usage very quickly, within a single binary.
tripbot9000
Procedural generation of geometric patterns and fractals.
yasih
Yet another Scheme implemented in Haskell
ResultTypes.jl
A Result type for Julia—it's like Nullables for Exceptions
Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Symbolics.jl
Symbolic programming for the next generation of numerical software
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
0x0f0f0f's Repositories
0x0f0f0f/tripbot9000
Procedural generation of geometric patterns and fractals.
0x0f0f0f/computability-complexity-cheat-sheets
TeX code for Computability Theory and Complexity Theory Cheat Sheets
0x0f0f0f/metatheory-juliacon-2021-slides
Slides for the Metatheory.jl 2021 juliacon talk
0x0f0f0f/MTMaths.jl
Experimental symbolic mathematics CAS built on top of e-graphs rewriting and Metatheory.jl
0x0f0f0f/calcurse-telegram-bot
Telegram bot that parses and handles calcurse events and todos through a git (dotfiles) repository
0x0f0f0f/lineaedits.github.io
0x0f0f0f/YaoEGraph.jl
EGraph based quantum circuit simplification via Metatheory
0x0f0f0f/0x0f0f0f.github.io-old
0x0f0f0f/680.studio
0x0f0f0f/AMDGPU.jl
AMD GPU (ROCm) programming in Julia
0x0f0f0f/Catlab.jl
A framework for applied category theory in the Julia language
0x0f0f0f/cheli.dev
0x0f0f0f/ExpressionExplorer.jl
Find all variables referenced and assigned in an expression
0x0f0f0f/Expronicon.jl
Collective tools for metaprogramming on Julia Expr
0x0f0f0f/General
The official registry of general Julia packages
0x0f0f0f/IIA.jl
Code for exercises for the introduction to artificial intelligence at UniPisa
0x0f0f0f/metatheory-garbage
old tests and experiments that have to be cleaned up and updated to latest MT
0x0f0f0f/milig.online
0x0f0f0f/Mixtape.jl
Made a million off a mixtape.
0x0f0f0f/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
0x0f0f0f/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
0x0f0f0f/shadcn-table
0x0f0f0f/SymbolicLimits.jl
0x0f0f0f/SymPy.jl
Julia interface to SymPy via PyCall
0x0f0f0f/SymPyCore.jl
Package to help connect Julia with the SymPy library of Python
0x0f0f0f/Tectonic.jl
Tectonic typesetting for Julia.
0x0f0f0f/TermInterface.jl
interface for symbolic terms
0x0f0f0f/VeryFastDict.jl
Experiments in very fast implementation of Dictionaries of bits types
0x0f0f0f/void-packages
The Void source packages collection
0x0f0f0f/www.julialang.org
Julia Project website