Insight Mechanism Reproduction Program - Ramanujan pipeline, structure-induction windows, insight signatures. A Mushroom-Body Program track.
☆27Oct 11, 2026Updated last week
Alternatives and similar repositories for intuition-mechanism
Users that are interested in intuition-mechanism are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 9 months ago
- Open-source AI PPT workbench featuring controllable end-to-end generation, per-slide editing, and editable PPTX export.☆23Jul 8, 2026Updated 3 months ago
- Adaptator between Stream/Sink and AsyncRead/AsyncWrite☆12Feb 5, 2022Updated 4 years ago
- Formal verification of Rust code with AI-assisted specification and proof.☆22Oct 15, 2026Updated last week
- ☆27Updated this week
- 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.
- Fastest file searching tool for macOS☆16Apr 26, 2026Updated 5 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- Pure rust WOFF and WOFF2 decoding☆18Sep 8, 2026Updated last month
- 🐉 寻龙诀·A股一进二竞价打板量化系统 | 全市场首板扫描→竞价评分→TOP3推送 | 附大盘预测+个股预测 | 股票短线龙头战法一站式量化工具 | 股市打板客必备 | skill☆34Sep 23, 2026Updated last month
- Benchmarking headless browsers as agent runtimes☆29Oct 16, 2026Updated last week
- Full-text financial reports (US, China, Japan, Korea, Taiwan) as clean Markdown — REST API + MCP server for LLMs, RAG and quant☆22Updated this week
- Cryptocurrency trading bot using supertrend indicator and ccxt.☆11Aug 17, 2026Updated 2 months ago
- Automatic testing of FFI bindings for Rust☆22Apr 12, 2025Updated last year
- 证券量化研究聚宽实现☆12Jan 31, 2020Updated 6 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.
- The Candle theorem prover (fork of the HOL Light sources)☆27Updated this week
- Neural Network on web browser☆17Nov 5, 2023Updated 2 years ago
- Command line text editor written in C☆13Oct 3, 2018Updated 8 years ago
- ☆11Dec 11, 2025Updated 10 months ago
- 💻ncurses for MS Windows Command-Line☆11May 20, 2019Updated 7 years ago
- ☆35Sep 22, 2025Updated last year
- 高通 EDL(9008) 模式 Android 刷机工具 — React Native 界面 + 原生 qdl 引擎☆20Jul 5, 2026Updated 3 months ago
- An iced webview widget with chromium embedded framework.☆16Apr 28, 2026Updated 5 months ago
- Simple plugin to instantly transform broken English into working code and analysis in RStudio using Open AI's API☆23Apr 15, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 财联社☆14May 18, 2021Updated 5 years ago
- Official implementation of "VideoSketcher: Video Models Prior Enable Versatile Sequential Sketch Generation"☆16Oct 15, 2026Updated last week
- 用 Rust 从零实现的缠论技术分析引擎：五级递归结构 + 三级独立轨道 + 大段中枢 + 买卖点，通达信/MT4 双平台 DLL 即装即用☆59Oct 11, 2026Updated last week
- 使用掘金量化终端对缠中说禅技术分析理论进行策略研究☆15Feb 25, 2021Updated 5 years ago
- Another World Engine in Rust☆13Sep 27, 2025Updated last year
- ☆14Mar 12, 2025Updated last year
- 通达信股票数据处理，股价预测，性能分析，特征选择☆16Mar 22, 2022Updated 4 years ago
- Substrate package manager☆17Dec 7, 2021Updated 4 years ago
- x64 semantics in Lean☆51Updated this week
- 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.
- LCOV tracefile parser/merger/filter in pure Rust.☆18Oct 12, 2026Updated last week
- conceal your secret files for individual receiver☆22Feb 28, 2021Updated 5 years ago
- ☆27Mar 23, 2024Updated 2 years ago
- ☆59Sep 18, 2026Updated last month
- 分形☆16Jul 10, 2022Updated 4 years ago
- FusterAI – AI-native open-source helpdesk built with Laravel + React☆22May 24, 2026Updated 4 months ago
- 基于23位著名游资心法的A股超短线交易系统 Skill。核心：情绪周期、龙头战法、概率思维。适用于Hermes Agent、OpenClaw、Claude Code等AI Agent平台。☆48May 12, 2026Updated 5 months ago