Repositories list

• cartesi-coprocessor

  Public
  Solidity

  •3•3•1•1•Updated Dec 20, 2024Dec 20, 2024

• cartesi-advance-runner

  Public
  Rust

  •0•1•0•0•Updated Dec 20, 2024Dec 20, 2024

• cartesi-coprocessor-contract-template

  Public
  Solidity

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 20, 2024Dec 20, 2024

• cartesi-coprocessor-operator

  Public
  Rust

  •1•0•0•0•Updated Dec 19, 2024Dec 19, 2024

• cartesi-coprocessor-solver

  Public
  Rust

  •2•1•1•3•Updated Dec 13, 2024Dec 13, 2024

• cartesi-preimage-oracle

  Public archive
  Go

  •

  MIT License

  •0•0•0•18•Updated Dec 10, 2024Dec 10, 2024

• cartesi-lambada-coprocessor

  Public archive
  Go

  •

  Other

  •2•4•24•1•Updated Nov 26, 2024Nov 26, 2024

• rs-car-ipfs

  Public
  Wrapper for rs-car to read files from IPFS trustless gateways with an async API

  Rust

  •3•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• cartesi-lambada

  Public
  Rust

  •

  Apache License 2.0

  •7•8•74•8•Updated Oct 3, 2024Oct 3, 2024

• did-examples

  Public
  TypeScript

  •0•0•0•0•Updated Sep 25, 2024Sep 25, 2024

• cartesi-lambada-guest-tools

  Public
  C++

  •

  Apache License 2.0

  •1•1•1•0•Updated Sep 16, 2024Sep 16, 2024

• dave

  Public
  Cartesi fraud-proof system

  Lua

  •

  Apache License 2.0

  •13•0•0•0•Updated May 17, 2024May 17, 2024

• cartesi-lambada-base-machine

  Public
  Dockerfile

  •0•0•0•0•Updated May 4, 2024May 4, 2024

• image-kernel

  Public
  Image for building kernel

  Dockerfile

  •

  Apache License 2.0

  •15•0•0•0•Updated Apr 24, 2024Apr 24, 2024

• cartesi-rwa-verification

  Public
  TypeScript

  •

  Apache License 2.0

  •1•0•0•0•Updated Mar 22, 2024Mar 22, 2024

• test-lambada-python

  Public
  Python

  •0•0•0•0•Updated Mar 20, 2024Mar 20, 2024

• test-lambada-js

  Public
  JavaScript

  •0•0•0•0•Updated Feb 27, 2024Feb 27, 2024

• rv32i-to-bitvm

  Public
  TypeScript

  •

  Apache License 2.0

  •5•16•0•1•Updated Feb 14, 2024Feb 14, 2024

• machine-emulator

  Public
  The off-chain implementation of the Cartesi Machine

  C++

  •

  GNU Lesser General Public License v3.0

  •34•0•0•0•Updated Feb 10, 2024Feb 10, 2024

• cartesi-rv64i-cuda

  Public
  Cuda

  •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

• html-to-docx

  Public
  HTML to DOCX converter

  JavaScript

  •

  MIT License

  •144•0•0•0•Updated Jan 28, 2024Jan 28, 2024

• cartesi-lambada-speedrun

  Public
  Shell

  •0•0•0•0•Updated Jan 12, 2024Jan 12, 2024

• cartesi-kubo

  Public
  An IPFS implementation in Go

  Go

  •

  Other

  •3k•0•0•0•Updated Jan 10, 2024Jan 10, 2024

• tosiscan

  Public
  TypeScript

  •

  Apache License 2.0

  •0•1•0•1•Updated Dec 31, 2023Dec 31, 2023

• riscv-tests

  Public
  C

  •

  Other

  •469•0•0•0•Updated Dec 29, 2023Dec 29, 2023

• vigilant-couscous

  Public
  0•0•0•0•Updated Dec 11, 2023Dec 11, 2023

• descartes

  Public
  Descartes SDK

  Solidity

  •

  Other

  •16•0•0•2•Updated Jul 14, 2023Jul 14, 2023

• wasm2evm-2

  Public
  Rust

  •0•0•0•0•Updated Apr 12, 2023Apr 12, 2023

• third-party-auth-example

  Public
  TypeScript

  •0•0•0•0•Updated Mar 28, 2023Mar 28, 2023

• vault-web3-provider

  Public
  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •3•7•0•20•Updated Jan 23, 2023Jan 23, 2023