A happy member of The Erlang, ML and Lisp Evangelism Strikeforce. Network Protocol's RFC fanatic. Distributed Systems, Data Science and Finance.
- LambdaClass
- Buenos Aires, Argentina
- https://federicocarrone.com/
- @federicocarrone
Pinned Loading
- lambdaclass/lambdaclass_hacking_learning_path
lambdaclass/lambdaclass_hacking_learning_path PublicLambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
- lambdaclass/ethrex
lambdaclass/ethrex PublicMinimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
- lambdaclass/lambdaworks
lambdaclass/lambdaworks Publiclambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
- lambdaclass/erlings
lambdaclass/erlings PublicSmall exercises to get you used to reading and writing Erlang code
- lambdaclass/cairo-vm
lambdaclass/cairo-vm Publiccairo-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 th…
- data_science_in_julia_for_hackers
data_science_in_julia_for_hackers PublicData Science in Julia With Hackers
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




