Pinned Repositories
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.
cairo-vm-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
aplicacion-web-java
bookdown-practice
bookdown R practice
byterun
Python interpreter
c_fun
Just some C
kvs
types-rs
🐺 Starknet Rust types 🦀
data_science_in_julia_for_hackers
Data Science in Julia With Hackers
pefontana's Repositories
pefontana/aplicacion-web-java
pefontana/bookdown-practice
bookdown R practice
pefontana/byterun
Python interpreter
pefontana/c_fun
Just some C
pefontana/kvs
pefontana/programming_bitcoin
programing bitcoin
pefontana/titanic
Machine Learning con Python - Titanic Kaggle
pefontana/circuit-examples
pefontana/clone-repository
clone repository practice
pefontana/codecov_demo
Codecov demo
pefontana/Covid-con-Python
Visualización de datos del COVID-19 con Python
pefontana/ds-in-bookdowm
Data Science in Julia for Hackers using Bookdown R
pefontana/ds-with-julia-demo
Demo of the data science with julia book using Bookdown R
pefontana/github-slideshow
A robot powered training repository :robot:
pefontana/jupyter_book_practice
A jupyter book
pefontana/Mercado-Libre
Ejercicios para entrevista
pefontana/nakamoto
pefontana/pluto_with_binder
A Pluto notebook that runs in a binder VM
pefontana/serde