Skip to content

@fe-lang fe-lang

Change the repository type filter

All

    Repositories list

    18 repositories

    • yul-sonatina

      Public
      Rust
      •
      Apache License 2.0
      •1•0•0•4•Updated Aug 7, 2025Aug 7, 2025

    • sonatina

      Public
      Rust
      •
      Apache License 2.0
      •9•51•11•9•Updated Jul 23, 2025Jul 23, 2025

    • sonatina-verification

      Public
      Formal verification proofs of Sonatina IR
      Agda
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Jun 26, 2025Jun 26, 2025

    • vscode-fe

      Public
      About Fe plugin for VsCode
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated Feb 18, 2025Feb 18, 2025

    • nvim-fe

      Public
      Lua
      •0•3•0•0•Updated Feb 18, 2025Feb 18, 2025

    • zed-fe

      Public
      Scheme
      •0•1•0•0•Updated Feb 18, 2025Feb 18, 2025

    • homebrew-tap

      Public
      Shell
      •0•0•1•0•Updated Feb 7, 2025Feb 7, 2025

    • tree-sitter-fe

      Public
      Fe language tree-sitter grammar
      JavaScript
      •0•2•0•0•Updated Dec 24, 2024Dec 24, 2024

    • dir-test

      Public
      Rust
      •
      Apache License 2.0
      •3•5•0•0•Updated Dec 4, 2024Dec 4, 2024

    • yultsur

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

    • fe-crypto

      Public
      Cryptography implemented in Fe.
      2•4•2•0•Updated Jun 14, 2024Jun 14, 2024

    • blog

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

    • bountiful

      Public
      Get paid to break things
      JavaScript
      •4•12•0•1•Updated Nov 3, 2023Nov 3, 2023

    • solc-rust

      Public
      Rust bindings for the Solidity compiler.
      Rust
      •
      GNU General Public License v3.0
      •14•0•0•0•Updated Nov 2, 2023Nov 2, 2023

    • Foundry-Fe

      Public
      A Foundry template to compile and test Fe contracts.
      Solidity
      •31•16•0•0•Updated 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
      •1•0•1•0•Updated Nov 27, 2022Nov 27, 2022

    • hardhat-fe

      Public
      Hardhat plugin to develop smart contracts with Fe
      TypeScript
      •
      MIT License
      •0•2•5•2•Updated Nov 27, 2022Nov 27, 2022

    • evm-semantics

      Public
      K Semantics of the Ethereum Virtual Machine (EVM)
      Solidity
      •
      Other
      •152•1•0•0•Updated Apr 6, 2022Apr 6, 2022