☆35Sep 22, 2025Updated last year
Alternatives and similar repositories for alta
Users that are interested in alta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- working implimention of deepseek MLA☆45Jan 8, 2025Updated last year
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Updated this week
- manipulating cointegrated pairs to achieve a market-neutral strategy that outperforms indices☆11Jan 12, 2021Updated 5 years ago
- ROCK Framework for Commonsense Causality Reasoning (CCR)☆10Jun 28, 2023Updated 3 years ago
- A minimalist, browser-based notepad for quick, secure, and anonymous note-taking. Create and share notes instantly without an account. Ea…☆17Sep 21, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This project collects methods that enhance the comparison between AMR graphs.☆11Jun 15, 2023Updated 3 years ago
- A minimal home grid world environment to evaluate language understanding in interactive agents.☆25Sep 6, 2023Updated 3 years ago
- The official code of paper 'Not All LLM-Generated Data are Equal'☆12Apr 23, 2025Updated last year
- assembly-level instruction-set semantics in Lean☆64Updated this week
- ☆18Apr 24, 2024Updated 2 years ago
- ☆13Apr 13, 2026Updated 6 months ago
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- Sandbox environment for generalizable agent research☆27Aug 19, 2022Updated 4 years ago
- 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.
- Formalization of DBSP☆42Aug 22, 2023Updated 3 years ago
- Collection of Useful Features of the Coq Proof Assistant☆10Mar 27, 2024Updated 2 years ago
- 拯救你ㄉGPA / 快速查詢台科歷年課程的成績分布☆14Feb 2, 2023Updated 3 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆200May 28, 2024Updated 2 years ago
- System which logs and analyzes arxiv reading activity, using github as a serverless database and processing runtime☆14Jun 3, 2025Updated last year
- ☆11Mar 29, 2025Updated last year
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years ago
- ☆570Feb 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated 2 years ago
- ☆34Oct 31, 2024Updated 2 years ago
- coloring terminal text with intensities (used for plotting probability, entropy with tokens)☆12Oct 11, 2024Updated 2 years ago
- ☆10Jul 27, 2026Updated 3 months ago
- ☆13Apr 25, 2024Updated 2 years ago
- KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale☆17Nov 8, 2025Updated 11 months ago
- DL reading group arrangements☆22Sep 2, 2025Updated last year
- ☆27Jun 10, 2026Updated 4 months ago
- University of Tübingen M.Sc. Machine Learning Projects☆11Mar 2, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mastodoner is a command line tool (and Python library) for archiving Mastodon, a decentralized micro-blogging social network.☆13Oct 21, 2024Updated 2 years ago
- [CVPR 2026 DataCV Workshop] 4KLSDB: A Large-Scale Native-4K Dataset and Benchmark for Image Restoration and Generation.☆38May 28, 2026Updated 5 months ago
- Code and data for the paper ”Counting the Bugs in ChatGPT's Wugs: A Multilingual Investigation into the Morphological Capabilities of a L…☆10Dec 3, 2023Updated 2 years ago
- A few models converted from caffe to CoreMLs format.☆15Jun 6, 2017Updated 9 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Dec 12, 2024Updated last year
- It's a Simple Modern C++ Programming Style.☆10Nov 17, 2016Updated 9 years ago
- Goal-conditioned reinforcement learning like 🔥☆15Feb 3, 2024Updated 2 years ago