geekyayush / bend-lang
Unofficial guide to Bend programming language
☆32Updated 10 months ago
Alternatives and similar repositories for bend-lang:
Users that are interested in bend-lang are comparing it to the libraries listed below
- ☆76Updated 4 months ago
- A massively parallel, optimal functional runtime in Rust☆32Updated 8 months ago
- Contains supporting materials for developer relations blog posts, videos, and workshops☆45Updated 2 months ago
- The Finite Field Assembly Programming Language☆36Updated this week
- Light WebUI for lm.rs☆23Updated 5 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆60Updated 8 months ago
- ☆36Updated 11 months ago
- ☆66Updated this week
- ☆47Updated 3 months ago
- ☆30Updated last month
- ☆11Updated last week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆56Updated last month
- Editor with LLM generation tree exploration☆65Updated last month
- ☆55Updated last month
- A light tensor library in zig.☆76Updated 2 months ago
- ☆235Updated 2 months ago
- ☆13Updated last month
- A Mojo implementation of the Tiny Stable Diffusion model☆49Updated 10 months ago
- Implementation of Karpathy's micrograd in Mojo☆72Updated last year
- A Learning Journey: Micrograd in Mojo 🔥☆61Updated 5 months ago
- making the official triton tutorials actually comprehensible☆23Updated 3 weeks ago
- NanoGPT-speedrunning for the poor T4 enjoyers☆57Updated this week
- Rust Implementation of micrograd☆51Updated 9 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆61Updated 2 months ago
- look how they massacred my boy☆63Updated 5 months ago
- NuMojo is a library for numerical computing in Mojo 🔥 similar to numpy in Python.☆146Updated 3 weeks ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated last year
- An interaction combinator runtime☆17Updated 6 months ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆49Updated this week
- Evaluator for the A::B Prompting Challenge☆27Updated last year