Italy

Lorenzo Pace

Elite
@mell-o-tron

PhD Student @ MPI-INF

MellOs. Minimal, collaboratively written kernel

457

OS-Reference. Assembly

85

Lambda-Compiler. A compiler of the Lambda-Calculus to 16-bit x86 assembly code

9

Lambda-Maj7. The λ-maj7 Programming Language (the name is a joke, looking for a better one)

5

CORDIC-FixedPoint. Performance test for trigonometric functions

4

unipi. My university notes -- in Italian

3

practice_os. A practice version of the MellOS kernel

3

PyNewtonFractal. Visualisation of the fractal that arises from Newton's method in the complex plane

2

PyNewton. A crappy visualization of Newton's method

2

tapes. A tool for manipulating and drawing tape diagrams

2

mell-o-tron.github.io. JavaScript

1

coqshop. Coq

1

RelationalAlgebraGenerator. Python

1

road-network-sim. A road network simulator, implementing both a macroscopic and a microscopic traffic model.

1

alpt. A literate programming tool

1

Curry-Howard-Lambek-Seminar.

1

fdi-proof-assistant. JavaScript

1
17
Apply