Claude et al. play the brilliant puzzle title "Baba is You"
☆62Jun 30, 2025Updated last year
Alternatives and similar repositories for baba_is_eval
Users that are interested in baba_is_eval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jul 6, 2023Updated 3 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- ☆19Nov 28, 2020Updated 5 years ago
- FID computation in Jax/Flax.☆29Jul 17, 2024Updated 2 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Compiler backend☆16Aug 7, 2026Updated last month
- 一起来数三角形吧！☆10Jun 27, 2024Updated 2 years ago
- Bayesian learning and inference for state space models (SSMs) using Google Research's JAX as a backend☆64Jun 17, 2024Updated 2 years ago
- Write your code as tree-like expressions, then transform it☆21Jan 9, 2024Updated 2 years ago
- The new Reactome REST API to access the data☆11May 22, 2026Updated 4 months ago
- ☆27Nov 1, 2021Updated 4 years ago
- string diagrams for the working programmer☆15Jul 17, 2023Updated 3 years ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 基于 SvelteKit 框架的静态博客生成器 Static Site Generator based on SvelteKit☆11Jul 2, 2024Updated 2 years ago
- A Socratic dialogue engine for AI agents.☆16Nov 30, 2025Updated 9 months ago
- Network observer that tracks outbound connections from AI CLI processes (Claude Code, Codex, Gemini), attributing sockets to providers in…☆31Updated this week
- a coroutinue lib writen by pure C☆10Feb 24, 2021Updated 5 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Repository for CPU Kernel Generation for LLM Inference☆28Jul 13, 2023Updated 3 years ago
- image perceptual hash experiment using convolutional neural net models☆12Sep 22, 2021Updated 5 years ago
- I replicated Ng's RYS method and found that duplicating 3 specific layers in Qwen2.5-32B boosts reasoning by 17% and duplicating layers 1…☆242Mar 20, 2026Updated 6 months ago
- ☆25May 25, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mechanistic Interpretability for Transformer Models☆55Jun 1, 2022Updated 4 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- Node streams2 layer for working with WebRTC data channels☆16Oct 29, 2019Updated 6 years ago
- A real-life implementation of Samantha from Her☆18Aug 5, 2024Updated 2 years ago
- High performance JSON middleware for Swift projects☆13Aug 22, 2026Updated last month
- Demo that extends the FastUI example & adds database persistence☆17Jan 2, 2024Updated 2 years ago
- Unix native interface to LLMs☆14May 4, 2026Updated 4 months ago
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- Try to guess the file name from private discriminator of a Swift symbol.☆14Dec 1, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Bevy friendly wrapper of Box2D and LiquidFun.☆10Aug 14, 2024Updated 2 years ago
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- Interactive didactic simulation of a Hopfield network, a type of neural network that models associative memory.☆16Feb 20, 2021Updated 5 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 11 months ago
- The matrix cookbook, proved in the Lean theorem prover☆134Sep 16, 2025Updated last year
- Subscribe to a public Notion page for changes and run a command on every detected change☆13Apr 6, 2021Updated 5 years ago
- ☆15Aug 10, 2026Updated last month