Alessandro Coglio (acoglio)

acoglio

Geek Repo

Location:Silicon Valley, California

Home Page:www.alessandrocoglio.info

Github PK Tool:Github PK Tool


Organizations
acl2
ethereum
ethereum-specification

Alessandro Coglio's repositories

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:3Issues:0Issues:0

workshop

📜 A starter guide to build applications on Aleo 📜

Language:ShellStargazers:1Issues:0Issues:0

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXLicense:CC-BY-SA-4.0Stargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

ARCs

Aleo Request for Comments (ARCs)

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

coda

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ethereumj

Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

iden3-docs

iden3 documentation

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

mdbook-linkcheck

A backend for `mdbook` which will check your links for you.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

snarkVM

A Virtual Machine for Zero-Knowledge Executions

License:GPL-3.0Stargazers:0Issues:0Issues:0

solidity

Solidity, the Smart Contract Programming Language

License:GPL-3.0Stargazers:0Issues:0Issues:0

tests

Common tests for all Ethereum implementations

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

tlborm

The Little Book of Rust Macros

Stargazers:0Issues:0Issues:0

toml

Tom's Obvious, Minimal Language

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

webgme

Web-based Generic Modeling Environment

License:MITStargazers:0Issues:0Issues:0

zips

Zcash Improvement Proposals

License:MITStargazers:0Issues:0Issues:0