Open Source @ Cardano Foundation

The Team

Matthias

@KtorZ

Lucas

@rvcas

Kasey

@MicroProofs

🇫🇷 France (Occitanie)

🇺🇸 USA (Florida)

What do we do?

We solve (technical) problems.

What do we do?

We solve (technical) problems.

Adoption

Operational Resilience

Education

Installers & executables

Command-line interface

Compiler

Language parser

Type-checker

Code generation

Optimizer

Language-server

Interoperability

Blueprints (CIP-0057)

Off-chain SDK / plugins

Online playground

Packages manager

Documentation

Tutorials

End-to-end examples

API reference

Plutus Virtual Machine

UPLC manipulation

Transaction simulation

CEK evaluation

Testing & Benchmarking framework

Standard library

Community management / support

Adoption?

experimenting

experimenting

Bitcoin style Proof-of-Work as a Cardano smart contract

  • Presented & initiated at RareEvo as a workshop
  • Complete end-to-end example of a non-trivial smart contract
  • On-boarded hundred of developers
  • Became the 4th most used DApp on Cardano within a week
  • Fully open source, with community miners, explorers & tooling
aiken @ 1.0.19-alpha
aiken @ 1.y.z-beta
  • Bugs fixing
  • More LSP features (auto-imports, type lenses, go-to definition...)
  • Compiler formalization & simplification
  • Off-chain code generators (JavaScript, Python, Haskell, Rust, ...)
  • Property-based testing framework
  • More UX improvements

18 releases since 1.0.0 !

The gateway to Cardano

since 2020

Block synchronization

Transaction submission

Smart contracts evaluation

Mempool monitoring

Ledger state queries

Cardano Network

Node

DApp

Cardano Network

Who is using it?

Kupo!

A fast, lightweight and configurable chain-indexer

☑️ Simple     ☑️ Rollback friendly     ☑️ Battle-tested     ☑️ Well-documented

by Address

by Stake Address

by Credential

by Asset name

by Policy Id

by Transaction Id

by Metadata Tag

Hydra

  • Cardano Improvement Proposals (CIPs) reviews, authoring & editorship
    • CIP-0085, CIP-1694, CIP-0057, CIP-0094, CIP-0058, CIP-0030...
  • Cardano Academy content writing & reviewing
  • State of the Developers Ecosystem (2022, 2023, ...)
  • Interviews, Twitter spaces, Discord groups & ecosystem presence
  • Builders technical support, architecture advice & integration
  • Governance, Intersect discussions, SPO poll(s)
  • Open source libraries contributions
    • Pallas, Lucid, Plutigo, Ouroboros-network, Ouroboros-consensus, Cardano-api, Cardano-ledger, Scrolls, Oura, Hydra, Mithril...

And more...

  • Aiken Beta
  • Lucid V2 & Transaction building
  • Cardano Developers-only Conference
  • Rollup
  • Layer-2 NFT Marketplace
  • Swift / Elixir Cardano SDKs
  • Alternative Rust Node

What's next?

Open Source

By Matthias Benkort

Open Source

  • 119