domandlj

Computer Science @ FaMAF

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:JavaScript00
CHIP8
The hello world of emulation.
Language:C1 2 00
Formal-reasoning-about-programs
Language:Agda0 1 00
Judgments-as-types
Language:HTML0 1 00
Lambda-Calculus
Language:Haskell0 1 00
mapa-vegano
Language:HTML0 2 00
RussianInvaders
Language:JavaScript1 1 00

domandlj's Repositories

domandlj/aquelarre
Minimalistic DSL for making minimalistic web apps.
Language:Python10 1 00
domandlj/CHIP8
The hello world of emulation.
Language:C1 2 00
domandlj/RussianInvaders
Language:JavaScript1 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:JavaScript00
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/Poder-de-Compra-del-Ingreso
Language:HTML
domandlj/Scraping-Alquileres
Language:Jupyter Notebook
domandlj/vidrieraS
Language:HTML