lferrigno

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

ethrex

ethrex: Ethereum Rust Execution L1 and L2 client.

lambdaclass_hacking_learning_path

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

sparkling_water_bootcamp

Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp

boterito

Boke Bot

Cairo1-Workshop

express-example

A proposal for the usage of Sequelize within an Express.JS application.

fiuba-tdl.github.io

Sitio de la materia Teoría de lenguaje

lferrigno/boterito

Boke Bot

lferrigno/Cairo1-Workshop

lferrigno/express-example

A proposal for the usage of Sequelize within an Express.JS application.

lferrigno/fiuba-tdl.github.io

Sitio de la materia Teoría de lenguaje

lferrigno/fiubar

Administrador de materias para FIUBA

lferrigno/lti-provider-demo

lferrigno/ng-questplay

lferrigno/pulgas

revistas pulgas y pulganzas

lferrigno/react-draft-wysiwyg

A Wysiwyg editor build on top of ReactJS and DraftJS. https://jpuri.github.io/react-draft-wysiwyg