Skip to content
Change the repository type filter

All

    Repositories list

    • sonatina

      Public
      Rust
      Apache License 2.0
      8511110Updated Jun 23, 2025Jun 23, 2025
    • Rust
      Apache License 2.0
      1004Updated Jun 10, 2025Jun 10, 2025
    • Formal verification proofs of Sonatina IR
      Agda
      GNU Affero General Public License v3.0
      0200Updated May 27, 2025May 27, 2025
    • vscode-fe

      Public
      About Fe plugin for VsCode
      TypeScript
      MIT License
      0100Updated Feb 18, 2025Feb 18, 2025
    • nvim-fe

      Public
      Lua
      0300Updated Feb 18, 2025Feb 18, 2025
    • zed-fe

      Public
      Scheme
      0100Updated Feb 18, 2025Feb 18, 2025
    • Shell
      0010Updated Feb 7, 2025Feb 7, 2025
    • Fe language tree-sitter grammar
      JavaScript
      0200Updated Dec 24, 2024Dec 24, 2024
    • dir-test

      Public
      Rust
      Apache License 2.0
      3500Updated Dec 4, 2024Dec 4, 2024
    • yultsur

      Public
      Yultsur is a Rust implementation of Yul.
      Rust
      GNU General Public License v3.0
      21000Updated Dec 2, 2024Dec 2, 2024
    • fe-crypto

      Public
      Cryptography implemented in Fe.
      2420Updated Jun 14, 2024Jun 14, 2024
    • blog

      Public
      The Fe blog at blog.fe-lang.org
      SCSS
      2002Updated Nov 19, 2023Nov 19, 2023
    • bountiful

      Public
      Get paid to break things
      JavaScript
      41201Updated Nov 3, 2023Nov 3, 2023
    • solc-rust

      Public
      Rust bindings for the Solidity compiler.
      Rust
      GNU General Public License v3.0
      14000Updated Nov 2, 2023Nov 2, 2023
    • A Foundry template to compile and test Fe contracts.
      Solidity
      301600Updated Apr 6, 2023Apr 6, 2023
    • fls

      Public
      Fe language server to add Fe support to editors and other tools that use the Language Server Protocol (LSP)
      Rust
      Apache License 2.0
      1010Updated Nov 27, 2022Nov 27, 2022
    • Hardhat plugin to develop smart contracts with Fe
      TypeScript
      MIT License
      0252Updated Nov 27, 2022Nov 27, 2022
    • K Semantics of the Ethereum Virtual Machine (EVM)
      Solidity
      Other
      152100Updated Apr 6, 2022Apr 6, 2022