Repositories list

• blog

  Public
  The Fe blog at blog.fe-lang.org

  Python

  •22 forks in fe-lang/blog•00 stars in fe-lang/blog•11 issue in fe-lang/blog•22 pull requests in fe-lang/blog•Updated Oct 27, 2026Oct 27, 2026

• fevm

  Public
  Python

  •00 forks in fe-lang/fevm•00 stars in fe-lang/fevm•00 issues in fe-lang/fevm•00 pull requests in fe-lang/fevm•Updated Oct 26, 2026Oct 26, 2026

• sonatina

  Public
  Rust

  •

  Apache License 2.0

  •1515 forks in fe-lang/sonatina•5555 stars in fe-lang/sonatina•1616 issues in fe-lang/sonatina•1919 pull requests in fe-lang/sonatina•Updated Oct 26, 2026Oct 26, 2026

• homebrew-tap

  Public
  Ruby

  •00 forks in fe-lang/homebrew-tap•00 stars in fe-lang/homebrew-tap•00 issues in fe-lang/homebrew-tap•11 pull request in fe-lang/homebrew-tap•Updated Oct 26, 2026Oct 26, 2026

• www

  Public
  New website & guide

  JavaScript

  •

  Apache License 2.0

  •11 fork in fe-lang/www•00 stars in fe-lang/www•00 issues in fe-lang/www•00 pull requests in fe-lang/www•Updated Oct 26, 2026Oct 26, 2026

• fe-docs

  Public
  JavaScript

  •00 forks in fe-lang/fe-docs•00 stars in fe-lang/fe-docs•00 issues in fe-lang/fe-docs•11 pull request in fe-lang/fe-docs•Updated Oct 26, 2026Oct 26, 2026

• eisenbote

  Public
  A towncrier rewrite in Fe

  Python

  •00 forks in fe-lang/eisenbote•00 stars in fe-lang/eisenbote•00 issues in fe-lang/eisenbote•00 pull requests in fe-lang/eisenbote•Updated Oct 26, 2026Oct 26, 2026

• lutz

  Public
  A TOML parser written in Fe

  Python

  •

  Apache License 2.0

  •00 forks in fe-lang/lutz•11 star in fe-lang/lutz•00 issues in fe-lang/lutz•00 pull requests in fe-lang/lutz•Updated Oct 26, 2026Oct 26, 2026

• tree-sitter-fe

  Public
  Fe language tree-sitter grammar

  JavaScript

  •00 forks in fe-lang/tree-sitter-fe•22 stars in fe-lang/tree-sitter-fe•00 issues in fe-lang/tree-sitter-fe•00 pull requests in fe-lang/tree-sitter-fe•Updated Oct 26, 2026Oct 26, 2026

• keccak

  Public
  Streaming Keccak-256 in Fe, with native tests and differential benchmarks

  Python

  •00 forks in fe-lang/keccak•00 stars in fe-lang/keccak•00 issues in fe-lang/keccak•00 pull requests in fe-lang/keccak•Updated Oct 25, 2026Oct 25, 2026

• swisstable

  Public
  A generic fixed-capacity SwissTable-style hash table in Fe, with native tests and benchmarks

  Python

  •00 forks in fe-lang/swisstable•00 stars in fe-lang/swisstable•00 issues in fe-lang/swisstable•00 pull requests in fe-lang/swisstable•Updated Oct 25, 2026Oct 25, 2026

• fe-equivm-proofs

  Public
  Lean

  •11 fork in fe-lang/fe-equivm-proofs•00 stars in fe-lang/fe-equivm-proofs•00 issues in fe-lang/fe-equivm-proofs•00 pull requests in fe-lang/fe-equivm-proofs•Updated Oct 23, 2026Oct 23, 2026

• uniswap-v3-core-fe

  Public
  TypeScript

  •

  Other

  •3k3k forks in fe-lang/uniswap-v3-core-fe•00 stars in fe-lang/uniswap-v3-core-fe•00 issues in fe-lang/uniswap-v3-core-fe•11 pull request in fe-lang/uniswap-v3-core-fe•Updated Oct 16, 2026Oct 16, 2026

• wasmtime

  Public
  A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

  Rust

  •

  Apache License 2.0

  •1.9k1.9k forks in fe-lang/wasmtime•00 stars in fe-lang/wasmtime•00 issues in fe-lang/wasmtime•00 pull requests in fe-lang/wasmtime•Updated Sep 14, 2026Sep 14, 2026

• fe

  Public
  Emerging smart contract language for the Ethereum blockchain.

  Rust

  •

  Apache License 2.0

  •218218 forks in fe-lang/fe•00 stars in fe-lang/fe•00 issues in fe-lang/fe•00 pull requests in fe-lang/fe•Updated Jul 30, 2026Jul 30, 2026

• matchcov

  Public
  `matchcov` is a Rust library that decouples pattern-match coverage analysis from language implementations.

  Rust

  •

  Apache License 2.0

  •11 fork in fe-lang/matchcov•00 stars in fe-lang/matchcov•00 issues in fe-lang/matchcov•00 pull requests in fe-lang/matchcov•Updated Jul 23, 2026Jul 23, 2026

• tablesolve

  Public
  Reusable proof-forest mechanics for tabled type-class resolution

  Rust

  •

  Apache License 2.0

  •00 forks in fe-lang/tablesolve•00 stars in fe-lang/tablesolve•00 issues in fe-lang/tablesolve•00 pull requests in fe-lang/tablesolve•Updated Jul 17, 2026Jul 17, 2026

• fe-examples

  Public
  00 forks in fe-lang/fe-examples•00 stars in fe-lang/fe-examples•00 issues in fe-lang/fe-examples•00 pull requests in fe-lang/fe-examples•Updated Jun 30, 2026Jun 30, 2026

• zed-fe

  Public
  Tree-sitter Query

  •

  Other

  •00 forks in fe-lang/zed-fe•11 star in fe-lang/zed-fe•00 issues in fe-lang/zed-fe•00 pull requests in fe-lang/zed-fe•Updated Jun 28, 2026Jun 28, 2026

• nvim-fe

  Public
  Lua

  •11 fork in fe-lang/nvim-fe•33 stars in fe-lang/nvim-fe•00 issues in fe-lang/nvim-fe•11 pull request in fe-lang/nvim-fe•Updated Jun 27, 2026Jun 27, 2026

• emacs-fe

  Public
  Emacs Lisp

  •00 forks in fe-lang/emacs-fe•22 stars in fe-lang/emacs-fe•00 issues in fe-lang/emacs-fe•00 pull requests in fe-lang/emacs-fe•Updated Jun 27, 2026Jun 27, 2026

• rosetta

  Public
  Solidity / Fe side-by-side

  Shell

  •00 forks in fe-lang/rosetta•11 star in fe-lang/rosetta•55 issues in fe-lang/rosetta•11 pull request in fe-lang/rosetta•Updated Jun 26, 2026Jun 26, 2026

• bountiful

  Public
  Get paid to break things

  JavaScript

  •66 forks in fe-lang/bountiful•1414 stars in fe-lang/bountiful•11 issue in fe-lang/bountiful•11 pull request in fe-lang/bountiful•Updated Jun 11, 2026Jun 11, 2026

• fe-workbook

  Public
  00 forks in fe-lang/fe-workbook•00 stars in fe-lang/fe-workbook•00 issues in fe-lang/fe-workbook•00 pull requests in fe-lang/fe-workbook•Updated Apr 16, 2026Apr 16, 2026

• async-lsp

  Public
  Asynchronous Language Server Protocol framework

  Rust

  •

  Apache License 2.0

  •2222 forks in fe-lang/async-lsp•00 stars in fe-lang/async-lsp•00 issues in fe-lang/async-lsp•00 pull requests in fe-lang/async-lsp•Updated Apr 9, 2026Apr 9, 2026

• vscode-fe

  Public
  About Fe plugin for VsCode

  TypeScript

  •

  MIT License

  •00 forks in fe-lang/vscode-fe•11 star in fe-lang/vscode-fe•00 issues in fe-lang/vscode-fe•00 pull requests in fe-lang/vscode-fe•Updated Mar 31, 2026Mar 31, 2026

• fls

  Public archive
  Fe language server to add Fe support to editors and other tools that use the Language Server Protocol (LSP)

  Rust

  •

  Apache License 2.0

  •11 fork in fe-lang/fls•00 stars in fe-lang/fls•11 issue in fe-lang/fls•00 pull requests in fe-lang/fls•Updated Mar 31, 2026Mar 31, 2026

• yul-sonatina

  Public
  Rust

  •

  Apache License 2.0

  •11 fork in fe-lang/yul-sonatina•00 stars in fe-lang/yul-sonatina•00 issues in fe-lang/yul-sonatina•44 pull requests in fe-lang/yul-sonatina•Updated Feb 16, 2026Feb 16, 2026

• sonatina-verification

  Public
  Formal verification proofs of Sonatina IR

  Agda

  •

  GNU Affero General Public License v3.0

  •00 forks in fe-lang/sonatina-verification•33 stars in fe-lang/sonatina-verification•00 issues in fe-lang/sonatina-verification•00 pull requests in fe-lang/sonatina-verification•Updated Jun 26, 2025Jun 26, 2025

• dir-test

  Public
  Rust

  •

  Apache License 2.0

  •33 forks in fe-lang/dir-test•66 stars in fe-lang/dir-test•00 issues in fe-lang/dir-test•00 pull requests in fe-lang/dir-test•Updated Dec 4, 2024Dec 4, 2024