A TypeScript implementation of Lean4
☆22Apr 3, 2026Updated 6 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:
- Reinforcement learning for text generation on MLX (Apple Silicon)☆14Feb 15, 2026Updated 8 months ago
- A web based photo gallery powered by Postgres and Spring☆13Apr 15, 2012Updated 14 years ago
- Render a black hole.☆11Jan 20, 2022Updated 4 years ago
- Sencha Architect 2.x.x ORM Code Generator☆16Jul 1, 2013Updated 13 years ago
- 💽 A simple Intel x86 operating system written in assembly and C++, supporting interrupts, memory paging and heap allocation, disk contro…☆38Aug 10, 2025Updated last year
- 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.
- dbt-trino template repo for DuneSQL Trino Connector data transformations API☆15Oct 13, 2026Updated last week
- Package i18n provides an Internationalization and Localization middleware for Macaron applications☆12Nov 30, 2020Updated 5 years ago
- 使用deepseek来做大模型应用开发(how to use deepseek)☆16Feb 6, 2025Updated last year
- ☆18Jun 2, 2026Updated 4 months ago
- ☆49Aug 27, 2026Updated last month
- Network-first tuning for Debian/Ubuntu VPS: reversible BBR + fq, BDP-aware TCP buffers, diagnostics and budgeted measurement☆28Oct 13, 2026Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- 微信公众号智能编辑助手 Chrome 插件 - 集成 AI 写作、素材管理、一键排版等功能☆16Jun 24, 2025Updated last year
- Native VST3 and standalone Dexed with natural-language sound design☆142Oct 8, 2026Updated last week
- 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.
- ☆19Jul 12, 2026Updated 3 months ago
- ☆41Apr 26, 2026Updated 5 months ago
- ☆25Jun 2, 2026Updated 4 months ago
- S3 testing for RGW in Go.☆10Nov 23, 2022Updated 3 years ago
- RXJS wrapper for Gun Database☆12Dec 10, 2017Updated 8 years ago
- Benchmarking Agents on Real-World Terminal Tasks☆50May 31, 2026Updated 4 months ago
- ☆40Aug 19, 2026Updated 2 months ago
- 第三方办公套件：Rust/GPUI 界面 + LibreOfficeKit 文档引擎；Windows 派生版本 / Third-party Rust/GPUI + LibreOfficeKit office suite for Windows.☆27Updated this week
- This is the repository containing the MRI files and scripts used to analysed the data☆17Jul 13, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Dec 17, 2024Updated last year
- Dummit Foote 3rd Edition Solutions☆24Aug 26, 2026Updated last month
- Example project that uses v-leaflet to edit JPA entities in a basic Vaadin app☆12Mar 17, 2016Updated 10 years ago
- WIP. A directed graph editor with React, Redux and D3.js☆11Oct 3, 2017Updated 9 years ago
- Python library for natural language processing☆10May 8, 2022Updated 4 years ago
- Autocomplete (typeahead) widget in ClojureScript using core.async CSP techniques, based on David Nolen's work.☆10Mar 17, 2014Updated 12 years ago
- Refined types for Typescript☆26Aug 18, 2017Updated 9 years ago
- Command-line spaced repetition scheduler.☆10Mar 8, 2015Updated 11 years ago
- Polyphonic Sound Detection Score (PSDS)☆21Jan 20, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ProofNet dataset ported into Lean 4☆30Jun 9, 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
- TikTok TechJam 2025 - 1st Place☆18Jun 20, 2026Updated 4 months ago
- ☆23May 5, 2025Updated last year
- golang grpc micro framework.☆11May 28, 2026Updated 4 months ago
- DRAI: Dollar-Pegged RAI☆14Apr 9, 2024Updated 2 years ago
- Tool for compiling Lean to WASM☆29Mar 17, 2024Updated 2 years ago