Arkenan/aligned_layer
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Ethrex tech-lead Previously worked on Lambda's ethereum consensus client (elixir). Argentinian, sometimes in Buenos Aires, sometimes in Barcelona.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Fourth cohort of Ethereum Protocol Fellowship
Kafka protocol erlang library
Sistema web para visualizar cómodamente las opiniones sobre cursos de la Facultad de Ingeniería de la UBA. Por el momento, utilizando como base las encuestas del Departamento de Computación.
Google Pub/Sub client for Elixir
Primer trabajo práctico de la materia Algoritmos 4
Tercer Trabajo Práctico de la materia Algoritmos 4 de FIUBA.
Probando binder para levantar notebooks de Pluto
Trabajo Práctico de Base de Datos (FIUBA), Grupo 3.
Prueba de coveralls
Primer trabajo práctico de Sistemas Gráficos, 66.71. Render de una escena con un parque de diversiones.
Graficador de poliedros de restricciones para modelos de programación lineal con sintaxis de GLM (GLPK)
Resúmenes de teoría de algoritmos
Código del Informe en LaTeX sobre Go para Teoría del Lenguaje.
Automatically exported from code.google.com/p/batalla-navalgo-algoritmos-3
Scripts de bash y octave para visualizar señales variables en el tiempo
Algoritmos de Análisis Numérico.
Algoritmo de Quine McCluskey (en desarrollo)