A TypeScript implementation of Lean4
☆23Apr 3, 2026Updated 7 months ago
Alternatives and similar repositories for Lean4-ts
Users that are interested in Lean4-ts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆50Updated this week
- AI 时代不被淘汰保姆级攻略：2027—2029 职场判断、30 种岗位 AI 用法、第二收入路径｜AI-era career survival guide☆15Oct 29, 2026Updated last week
- Mermaid diagrams drawn inside Claude Code replies, with optional terminal images and an offline browser view.☆12Oct 5, 2026Updated last month
- A plain Markdown file that records a human's taste — preferences, sensibilities, and aesthetic judgments across all domains. Sits alongsi…☆11Mar 24, 2026Updated 7 months ago
- JavaWeb 开发之路经验总结☆10Nov 8, 2021Updated 5 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.
- 使用deepseek来做大模型应用开发(how to use deepseek)☆16Feb 6, 2025Updated last year
- SVG-first slide generation toolkit with intelligent content planning and domain-specific layouts☆16Sep 8, 2026Updated 2 months ago
- Curated list of real services, agents and tools that outside developers built on Monid, the OpenRouter for agent tools.☆16Updated this week
- ☆13Apr 24, 2026Updated 6 months ago
- 💼【校园兼职平台】-后台管理☆10Mar 31, 2023Updated 3 years ago
- 微信公众号智能编辑助手 Chrome 插件 - 集成 AI 写作、素材管理、一键排版等功能☆16Jun 24, 2025Updated last year
- Free open-source SMC indicator for TradingView — order blocks, FVGs, liquidity & market structure. Pine Script v6.☆23Oct 6, 2026Updated last month
- ☆19Jul 12, 2026Updated 3 months ago
- A durable state machine for Claude Code. Work survives /clear; nothing is done until a verify command exits 0.☆11Sep 21, 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.
- A coding agent CLI built from scratch in a single TypeScript file.☆15Apr 11, 2026Updated 7 months ago
- 《AI 电商基础从入门到掌握》公益课程网站 · 诗光聊AI电商 出品 · 64 个交互知识点，从 Prompt 到业务流智能体☆15Aug 12, 2026Updated 2 months ago
- A multi-agent system that keeps running for ~100 hours and solve a very complicated coding or math problem that can be verified☆1,758Mar 18, 2026Updated 7 months ago
- dbt-trino template repo for DuneSQL Trino Connector data transformations API☆16Oct 28, 2026Updated 2 weeks ago
- 实时监控 GMGN 订阅用户的twitter ，高度可定制的音频播报插件☆23Oct 1, 2026Updated last month
- 面向普通年轻人的 AI 学习指南：认识基础知识、选择值得学的技能，从可检查的小事开始。含六章正文、学习练习、研究资料及 HTML/PDF 阅读版。☆35Oct 20, 2026Updated 3 weeks ago
- S3 testing for RGW in Go.☆10Nov 23, 2022Updated 3 years ago
- 人人都能成为 AI 博主：从零起号、AI 产品实测、内容制作、商业合作，59 张操作卡 + 30 天打卡｜AI creator handbook (Chinese)☆33Updated this week
- Verified codegen framework for cryptographic primitives — Lean 4, 0 sorry☆11Jun 10, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An implementation of System-Z+ in Clojure☆13Sep 17, 2011Updated 15 years ago
- ☆14Mar 22, 2025Updated last year
- Agent-Pilot · 飞书 AI 校园挑战赛 · 从 IM 对话到演示稿的一键智能闭环 | 6 Agent Multi-Agent Pipeline · MiniMax M2.7 Tool Calling · 飞书 Bot 全生态集成☆15May 7, 2026Updated 6 months ago
- A bomb that explodes when the timer runs out(countdown timer app).☆14Feb 5, 2025Updated last year
- turn books, articles, plaintext or webpages into interactive read eval print loops, manage bookmarks in your own local database☆16Updated this week
- Command-line spaced repetition scheduler.☆10Mar 8, 2015Updated 11 years ago
- The Cog — AI-native IDE for orchestrating agents across any CLI. Multi-agent workspace with 25+ MCP tools, remote view, 3DS client, commu…☆22Jul 29, 2026Updated 3 months ago
- Kind of M-x rgrep adapted for Org mode☆16Mar 10, 2014Updated 12 years ago
- Transclusion of files in emacs☆15Jan 27, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- RXJS wrapper for Gun Database☆12Dec 10, 2017Updated 8 years ago
- ☆21Jun 17, 2022Updated 4 years ago
- A curated list (with links) of useful tools for genome-wide association analysis.☆11Mar 1, 2019Updated 7 years ago
- C 资源大全中文版，包括了：构建系统、编译器、数据库、加密、初中高的教程/指南、书籍、库等。☆14May 19, 2021Updated 5 years ago
- TiKV Client for C++☆15Sep 14, 2026Updated last month
- C++ TCP Library☆16Nov 2, 2022Updated 4 years ago
- ☆13Apr 21, 2020Updated 6 years ago
Are these results useful?