domandlj

Computer Science @ FaMAF Contact: juan.domandl@mi.unc.edu.ar

Argentina

Pinned Repositories

Accumulator-Machine-Agda
Some proof of semantic preservation of a register machine (accumulator architecture) with infinite registers.
Language:Agda0 1 00
aquelarre
Minimalistic DSL for making minimalistic web apps.
Language:Python10 1 00
bachelier-back
Language:Python0 1 00
bachelier-front
Language:JavaScript0 1 00
CHIP8
The hello world of emulation.
Language:C1 2 00
Formal-reasoning-about-programs
Language:Agda0 1 00
Lambda-Calculus
Language:Haskell0 1 00
mdweb
A tool to convert markdown files into a static website
Language:Rust80
RussianInvaders
Language:JavaScript1 1 00
Scraping-Alquileres
Language:Jupyter Notebook1 1 00

domandlj's Repositories

domandlj/aquelarre
Minimalistic DSL for making minimalistic web apps.
Language:Python10 1 00
domandlj/mdweb
A tool to convert markdown files into a static website
Language:Rust80
domandlj/CHIP8
The hello world of emulation.
Language:C1 2 00
domandlj/RussianInvaders
Language:JavaScript1 1 00
domandlj/Scraping-Alquileres
Language:Jupyter Notebook1 1 00
domandlj/Accumulator-Machine-Agda
Some proof of semantic preservation of a register machine (accumulator architecture) with infinite registers.
Language:Agda0 1 00
domandlj/bachelier-back
Language:Python0 1 00
domandlj/bachelier-front
Language:JavaScript0 1 00
domandlj/catorcefeb
Language:HTML0 1 00
domandlj/domandlj
0 2 00
domandlj/Formal-reasoning-about-programs
Language:Agda0 1 00
domandlj/idris2-vim
Vim mode for Idris 2
Language:Vim Script0 0 00
domandlj/Judgments-as-types
Language:HTML0 1 00
domandlj/Lambda-Calculus
Language:Haskell0 1 00
domandlj/mapa-vegano
Language:HTML0 2 00
domandlj/Puku
Language:Lua0 1 00
domandlj/fpunk
Language:CSS
domandlj/melting
Language:TypeScript
domandlj/my-site
Personal Website
Language:JavaScript
domandlj/petfront
Language:TypeScript
domandlj/Poder-de-Compra-del-Ingreso
Language:HTML
domandlj/vidrieraS
Language:HTML1 0