Pinned Repositories
coqshop
CORDIC-FixedPoint
Performance test for trigonometric functions
Curry-Howard-Lambek-Seminar
Lambda-Compiler
A compiler of the Lambda-Calculus to 16-bit x86 assembly code
Lambda-Maj7
The λ-maj7 Programming Language (the name is a joke, looking for a better one)
mell-o-tron.github.io
MellOs
Minimal, collaboratively written kernel
OS-Reference
road-network-sim
A road network simulator, implementing both a macroscopic and a microscopic traffic model.
unipi
My university notes -- in Italian
mell-o-tron's Repositories
mell-o-tron/MellOs
Minimal, collaboratively written kernel
mell-o-tron/OS-Reference
mell-o-tron/Lambda-Maj7
The λ-maj7 Programming Language (the name is a joke, looking for a better one)
mell-o-tron/unipi
My university notes -- in Italian
mell-o-tron/CORDIC-FixedPoint
Performance test for trigonometric functions
mell-o-tron/mell-o-tron.github.io
mell-o-tron/PyNewton
A crappy visualization of Newton's method
mell-o-tron/PyNewtonFractal
Visualisation of the fractal that arises from Newton's method in the complex plane
mell-o-tron/alpt
A literate programming tool
mell-o-tron/coqshop
mell-o-tron/Lambda-Compiler
A compiler of the Lambda-Calculus to 16-bit x86 assembly code
mell-o-tron/Curry-Howard-Lambek-Seminar
mell-o-tron/gauss-jordan
Federico2407's linear system solver, now in English!
mell-o-tron/mell-o-tron
mell-o-tron/PyGraphTheory
Collection of graph algorithms and visualizations
mell-o-tron/PyKarnaugh
Boolean algebra simplifier based on n-dimensional k-maps
mell-o-tron/PySimplex2D
A visualisation of the primal simplex algorithm in R2
mell-o-tron/road-network-sim
A road network simulator, implementing both a macroscopic and a microscopic traffic model.
mell-o-tron/OCaml-Turing-Machine
Turing and Church had a weird son today
mell-o-tron/progettino-cg
mell-o-tron/pyLattice
A simple tool for visualizing and animating 2D lattices
mell-o-tron/RelationalAlgebraGenerator
mell-o-tron/RO-Capitolo4
mell-o-tron/Rule30Variation