☆27Mar 17, 2026Updated 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:
- 📝The official repository of "Rethinking Cross-Generator Image Forgery Detection through DINOv3"☆21Dec 2, 2025Updated 3 months ago
- 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
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 3 months ago
- ☆19Updated this week
- Software to enable data-rich collaboration from high-resolution display walls to your laptop☆17Mar 9, 2026Updated last week
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 4 months ago
- Semiont supports human+ai collaborative knowledge work. Use it as: a Semantic Layer, Context Graph, Knowledge Base, Wiki, Annotator, Res…☆31Updated this week
- ☆13Oct 21, 2024Updated last year
- (CVPR 2026) Long-RVOS: A Comprehensive Benchmark for Long-term Referring Video Object Segmentation☆28Feb 28, 2026Updated 2 weeks ago
- ☆17Jan 3, 2025Updated last year
- Self-evolving vision language models from zero data☆56Updated this week
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated 3 weeks ago
- MCP server for Grok AI API integration☆22Jun 2, 2025Updated 9 months ago
- Fast, free, easy, and object-agnostic video anonymization☆11Dec 12, 2020Updated 5 years ago
- A meta-repo that watches karpathy/autoresearch and adjacent systems, distills portable patterns for bounded agent-verifier research lo…☆38Mar 11, 2026Updated last week
- The official implementation of COOPER: A Unified Model for Cooperative Perception and Reasoning in Spatial Intelligence.☆28Dec 30, 2025Updated 2 months ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- ☆32Feb 3, 2026Updated last month
- Benchmark evaluating ocean forecasting systems against reference datasets and observations.☆27Updated this week
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆24Mar 1, 2026Updated 2 weeks ago
- Photonic Quantum Machine Learning Framework☆22Updated this week
- [NeurIPS 2025@FoRLM] R1-Compress: Long Chain-of-Thought Compression via Chunk Compression and Search☆17Jan 24, 2026Updated last month
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Get aid from local LLMs right in your PowerShell☆15May 2, 2025Updated 10 months ago
- Metadata browser of TREC☆10Mar 9, 2026Updated last week
- Mobile IDE☆12Nov 9, 2020Updated 5 years ago
- Using this LLM-powered tool you can seamlessly create high quality (tiktok type) videos☆11Sep 10, 2024Updated last year
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Official Repository for paper "Ontology-Free General-Domain Knowledge Graph-to-Text Generation Dataset Synthesis using Large Language Mod…☆14Nov 25, 2024Updated last year
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- The open-source language model computer☆10Mar 22, 2024Updated last year
- 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
- Swift Implementation of the Model Context Protocol (MCP) Spec☆10Mar 28, 2025Updated 11 months ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- A UI designer for constructing AI applications with OpenSearch☆16Mar 10, 2026Updated last week
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago