Skip to content
Change the repository type filter

All

    Repositories list

    • catala

      Public
      Programming language for literate programming law specification
      OCaml
      Apache License 2.0
      96000Updated Apr 23, 2026Apr 23, 2026
    • EVM fixtures that define state transition tests.
      0000Updated Oct 29, 2025Oct 29, 2025
    • tests

      Public
      Common tests for all Ethereum implementations
      JavaScript
      MIT License
      364000Updated Sep 11, 2025Sep 11, 2025
    • evm

      Public
      Pure Rust implementation of Ethereum Virtual Machine
      Rust
      Apache License 2.0
      406001Updated Mar 1, 2024Mar 1, 2024
    • Python
      0001Updated Jan 10, 2024Jan 10, 2024
    • Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
      Rust
      Apache License 2.0
      37000Updated May 19, 2022May 19, 2022
    • Kotlin
      1000Updated Apr 1, 2022Apr 1, 2022
    • segmented-cfmm
      Haskell
      MIT License
      10000Updated Mar 11, 2022Mar 11, 2022
    • Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine
      OCaml
      Other
      1400Updated Apr 26, 2021Apr 26, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.