☆26Updated this week
Alternatives and similar repositories for sail-riscv-lean
Users that are interested in sail-riscv-lean are comparing it to the libraries listed below
Sorting:
- Multi-step AI agents powered by Gemini 2.0 and the LangGraph framework. These agents orchestrate complex workflows and enhance their reas…☆10Dec 19, 2024Updated last year
- AI-native knowledge kernel for human/agent collaboration. Use it as a Knowledge Base, Wiki, Annotator, Research Tool, or Agentic Memory.☆29Updated this week
- Software to enable data-rich collaboration from high-resolution display walls to your laptop☆15Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 3 months ago
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 3 months ago
- Photonic Quantum Machine Learning Framework☆18Feb 18, 2026Updated last week
- ☆13Oct 21, 2024Updated last year
- Fast, free, easy, and object-agnostic video anonymization☆11Dec 12, 2020Updated 5 years ago
- The official implementation of COOPER: A Unified Model for Cooperative Perception and Reasoning in Spatial Intelligence.☆28Dec 30, 2025Updated last month
- Benchmark evaluating ocean forecasting systems against reference datasets and observations.☆24Updated this week
- ☆31Feb 3, 2026Updated 3 weeks ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- MCP server for Grok AI API integration☆19Jun 2, 2025Updated 8 months ago
- A python package to efficiently extract linguistic features for text/NLP datasets☆24Feb 18, 2026Updated last week
- ☆17Jan 3, 2025Updated last year
- PAKCS: The Portland Aachen Kiel Curry system☆14Dec 16, 2025Updated 2 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Updated this week
- The open-source language model computer☆10Mar 22, 2024Updated last year
- It shows an intelligent agent based on LangGraph for long form writing.☆12Mar 1, 2025Updated 11 months ago
- Dataflow-MM, multi-media operators for Dataflow. We aim to prepare data for Multimodal Large Language Models.☆30Feb 15, 2026Updated last week
- The implementation of an SMTLib dialect for xDSL☆17Feb 11, 2026Updated 2 weeks ago
- [ICLR 2026] [NeurIPS 2025] ViPRA: Video Prediction for Robot Actions☆25Jan 27, 2026Updated 3 weeks ago
- Reinforcing Text-Rich Video Reasoning with Visual Rumination☆27Nov 24, 2025Updated 3 months ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- [NeurIPS 2025] Encoder-Decoder Diffusion Language Models for Efficient Training and Inference☆36Oct 29, 2025Updated 3 months ago
- Mobile IDE☆12Nov 9, 2020Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A model context protocol implementation granting LLMs access to make database queries and learn about supabase types.☆14Dec 13, 2024Updated last year
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Feb 19, 2026Updated last week
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- A simple and fast text editor☆14Aug 3, 2023Updated 2 years ago
- ☆22Feb 3, 2026Updated 3 weeks ago
- ☆24Oct 3, 2025Updated 4 months ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆17Jan 24, 2026Updated last month
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A game engine made in Java using libgdx (Currently in alpha state, and probably will remain that way)☆16Jan 4, 2012Updated 14 years ago
- Metadata browser of TREC☆10Updated this week
- Python library for solving reinforcement learning (RL) problems using generative models.☆11Feb 18, 2025Updated last year