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☆19Updated this week
- A modern data stack for K-12 education☆16Updated this week
- A Python-based text editor server built with FastMCP that provides tools for file operations. This server enables reading, editing, and m…☆14Aug 21, 2025Updated last year
- ☆17Updated this week
- 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.
- STUPID stuffs built by abusing Harfbuzz WASM Shaper.☆27Aug 21, 2024Updated 2 years ago
- litellm without the bloat☆235Updated this week
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- 一起来数三角形吧！☆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
- ☆13Mar 23, 2026Updated 6 months ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- A Socratic dialogue engine for AI agents.☆16Nov 30, 2025Updated 10 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆137Updated this week
- Typub - A Typst-first local CMS☆35Jul 11, 2026Updated 3 months ago
- a coroutinue lib writen by pure C☆10Feb 24, 2021Updated 5 years ago
- A scalable concurrent collaboration framework based on Operational Transformation (OT)☆14Dec 10, 2022Updated 3 years ago
- A flexible data layer for applications working with Magic: the Gathering cards, decks, and tournaments.☆14Sep 17, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- ☆26May 9, 2025Updated last year
- 一个 WebRTC 录制 CSS3 动画的实现☆13Mar 24, 2023Updated 3 years ago
- Mechanistic Interpretability for Transformer Models☆55Jun 1, 2022Updated 4 years ago
- 某车车云爬虫项目☆11Dec 15, 2023Updated 2 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- Node streams2 layer for working with WebRTC data channels☆16Oct 29, 2019Updated 6 years ago
- High performance JSON middleware for Swift projects☆13Aug 22, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A search engine for Lean 4 declarations☆81Sep 29, 2026Updated 2 weeks ago
- Browser extension to identify Magic: The Gathering™ cards in videos and streams☆12Aug 21, 2025Updated last year
- A speedy, flexible router for Rust.☆13Oct 7, 2026Updated last week
- ☆22Nov 23, 2023Updated 2 years ago
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 8 years ago
- Try to guess the file name from private discriminator of a Swift symbol.☆13Dec 1, 2024Updated last year
- Benchmark evaluating LLMs on their ability to create and resist disinformation. Includes comprehensive testing across major models (Claud…☆35Mar 20, 2025Updated last year