Alternatives and similar repositories for bend-lang

Users that are interested in bend-lang are comparing it to the libraries listed below

• mzaks / compact-dict
  A fast and compact Dict implementation in Mojo 🔥
  ☆35Updated last year
• HigherOrderCO / HVM1
  A massively parallel, optimal functional runtime in Rust
  ☆31Updated 11 months ago
• adamnemecek / traceoid.ai
  ☆96Updated 7 months ago
• modular / devrel-extras
  Contains supporting materials for developer relations blog posts, videos, and workshops
  ☆45Updated last week
• HigherOrderCO / HVM3
  HVM3
  ☆226Updated last week
• Saimirbaci / llm.zig
  ☆39Updated 2 months ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆36Updated last month
• IDNI / tau-lang
  ☆72Updated this week
• HigherOrderCO / kindbook
  ☆51Updated 6 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated last week
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆63Updated last month
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆110Updated this week
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆36Updated 10 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• Moosems / Mojo-Types
  Some useful types and functions for use in Mojo code
  ☆28Updated last year
• dorjeduck / momograd
  A Learning Journey: Micrograd in Mojo 🔥
  ☆61Updated 9 months ago
• snowclipsed / katana
  A light tensor library in zig.
  ☆78Updated 5 months ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated last month
• automata / mojograd
  Implementation of Karpathy's micrograd in Mojo
  ☆74Updated last year
• PrimeIntellect-ai / prime-cli
  The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers
  ☆29Updated last month
• okuvshynov / llama_duo
  asynchronous/distributed speculative evaluation for llama3
  ☆39Updated 11 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• msaelices / py2mojo
  Automated Python to Mojo code translation
  ☆147Updated last year
• Mojo-Numerics-and-Algorithms-group / NuMojo
  NuMojo is a library for numerical computing in Mojo 🔥 similar to numpy in Python.
  ☆165Updated 2 weeks ago
• helehex / infrared
  Geometric Algebra
  ☆23Updated 6 months ago
• samuel-vitorino / lm.rs-webui
  Light WebUI for lm.rs
  ☆24Updated 9 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 9 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆20Updated last month
• mzaks / mojo-csv
  ☆54Updated last year