re-define terminal
☆19Jun 8, 2026Updated 4 months ago
Alternatives and similar repositories for marina
Users that are interested in marina are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a batch file to add a right-click context menu for Windows Terminal☆10Aug 21, 2020Updated 6 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 5 years ago
- iKanban 是面向 OpenCode V2 的独立前端应用。iKanban is a standalone static frontend for OpenCode V2, based directly on the upstream shared desktop/we…☆15Updated this week
- ☆13Oct 21, 2026Updated 2 weeks ago
- 作为我的linux内核和驱动开发的笔记。☆20Updated 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.
- Codex Skill：让纯文本模型（DeepSeek）借助 StepFun step-3.7-flash 获得看图能力 | Give text-only Codex models (DeepSeek) image understanding via StepFun ste…☆16Aug 3, 2026Updated 3 months ago
- Control plane for Claude Code workflows: interactive sessions, agents, patterns, DAGs, and resumable context.☆20Mar 11, 2026Updated 7 months ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated last year
- 中华人民共和国密码行 业标准(GM/T)文件☆14Apr 25, 2021Updated 5 years ago
- A draggable 3D coverflow of scalloped postage-stamp cards. Bring your own content.☆15Jun 19, 2026Updated 4 months ago
- Jumping Clawd browser extension☆16Jun 7, 2026Updated 4 months ago
- ☆14Oct 8, 2021Updated 5 years ago
- ☆13Aug 10, 2026Updated 2 months ago
- misc☆19May 26, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- ☆12Apr 19, 2023Updated 3 years ago
- 蔡伦 | 对话造纸——把对话里的结论3秒排成一页零依赖、能传阅的纸(单文件HTML,零外链零JS,断网双端可开)。三种纸:章纸/方纸/对纸。☆15Jul 10, 2026Updated 3 months ago
- Implementation of the Reusable Enclaves paper☆15Sep 25, 2023Updated 3 years ago
- books☆26Mar 20, 2019Updated 7 years ago
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated 4 months ago
- A lightning-fast, minimal Markdown reader built in Rust. KaTeX math, Mermaid diagrams, Prism.js code highlighting — built for the AI era.☆82Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Li…☆27Sep 22, 2026Updated last month
- 制作便于滚动阅读与分享的单页 HTML 文档，统一文字、图解、界面示例与插图风格。☆21Sep 10, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆22May 27, 2020Updated 6 years ago
- 基于位操作的按键驱动☆14Jan 14, 2020Updated 6 years ago
- 🛠️ 小米 MiMo API 400报错 兼容性修复工具 - 解决 MiMo V2.5 系列模型在各类 AI 编程工具中的兼容性问题☆18May 19, 2026Updated 5 months ago
- RT-Thread操作系统的CMSIS-RTOS2兼容层 | CMSIS-RTOS2 Application Compatibility Layer (ACL) for RT-Thread☆15Jun 23, 2026Updated 4 months ago
- Enumerating all of the Undefined Behavior in C++☆39Apr 26, 2022Updated 4 years ago
- 为 DeepSeek 等不具备视觉能力的模型"借一双眼睛"：收到图片时自动委派视觉子 Agent 读图并回报☆40Aug 11, 2026Updated 2 months ago
- A native Windows desktop client for OpenCode 2 (Rust + GPUI). GPL-3.0.☆32Updated this week
- AI skill for scientific figure generation, tuned for SCI and Elsevier-style manuscript figures with Python and R examples.☆23Jul 27, 2026Updated 3 months ago
- Dictionary, like stl map, in C, as a single-file header, with convenience functionality for strings, ints, and indexing.☆23Dec 29, 2025Updated 10 months 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.
- ☆21Sep 7, 2022Updated 4 years ago
- ☆23Jun 14, 2023Updated 3 years ago
- springboot+vue+mongodb+minio, 模仿airportal空投实现文件分享投递☆19Sep 1, 2022Updated 4 years ago
- code-judge，支持代码运行与在线评测的OJ判题机。Code judge, an online judge machine that supports code execution and online evaluation.☆16Oct 21, 2024Updated 2 years ago
- Tai-e assignments for static program analysis☆32Aug 5, 2022Updated 4 years ago
- ☆24Sep 22, 2025Updated last year
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago