TypeScript-like theorem prover
โ43Apr 30, 2025Updated 10 months ago
Alternatives and similar repositories for PeanoScript
Users that are interested in PeanoScript are comparing it to the libraries listed below
Sorting:
- ๐ฅ A Hono middleware for standardized JSON responsesโ25Feb 24, 2026Updated last week
- A TypeScript Language Service Plugin to auto-complete and insert Namespace Import.โ20Aug 6, 2024Updated last year
- Command-line tool to validate expected TypeScript errorsโ20Feb 29, 2024Updated 2 years ago
- TypeScript implementation of Japanese morphological analyzerโ26May 7, 2024Updated last year
- Book about using Lean with How To Prove Itโ26Dec 20, 2025Updated 2 months ago
- Turn standard types into JSON schemasโ23May 3, 2025Updated 9 months ago
- A dark wallpaper with many NixOS logosโ20Apr 7, 2024Updated last year
- Performant routing embracing React concurrent UI patternsโ24Jan 22, 2026Updated last month
- Comprehensive ESLint plugin for vanilla-extract with CSS property ordering, style validation, and best practices enforcement. Supports alโฆโ31Dec 1, 2025Updated 3 months ago
- CI-Friendly static linter with autofix, SAST, semantic analysis for GitHub Actionsโ34Updated this week
- A webpack plugin to retry loading of async chunks that failed to loadโ25Jun 20, 2022Updated 3 years ago
- A simple utility for creating custom errors effortlesslyโ44Updated this week
- esa ใฎ Model Context Protocol ใตใผใใผๅฎ่ฃโ35Nov 2, 2025Updated 4 months ago
- Rust Port of enhanced-resolveโ41Updated this week
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).โ10Jun 22, 2025Updated 8 months ago
- A fast function for calculating the visual width of a string once printed to the terminal.โ37Sep 30, 2025Updated 5 months ago
- Delimited Continuations for JavaScriptโ35Mar 1, 2024Updated 2 years ago
- Yet another linter rule to detect compatibility of CSS features.โ37Updated this week
- Notifies your code on DOM node move or resizeโ34Apr 29, 2024Updated last year
- Rehype plugin to highlight code blocks with Shikiโ31Jan 7, 2023Updated 3 years ago
- An easy to use app-state management lib for react using hooksโ11Feb 14, 2026Updated 2 weeks ago
- Fast Rust-powered drop-in replacement for svelte-check (Svelte 5+)โ92Updated this week
- Rust dev-tool to install Nix packages into an FHS-compliant virtual shellโ34Jan 12, 2025Updated last year
- Tenbin provides tools to minimize the differences in test execution times across shards.โ34Sep 20, 2025Updated 5 months ago
- A zero-install Web server package that runs on Windows made with Goโ12Dec 7, 2019Updated 6 years ago
- ESLint rule for browser compatibility of your TypeScript codeโ37Aug 22, 2023Updated 2 years ago
- WebCodecs API in Node.jsโ78Feb 14, 2026Updated 2 weeks ago
- The Hypnospiral Visualizer source code.โ17Sep 9, 2025Updated 5 months ago
- Create React apps with no build configuration.โ13Aug 22, 2019Updated 6 years ago
- A map of Durham Neighborhoods made with GeoJSONโ12Jul 6, 2024Updated last year
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.โ11Feb 11, 2026Updated 2 weeks ago
- pronounced like "auto zone", a place for figuring out algorithmsโ11Oct 23, 2023Updated 2 years ago
- โ16Updated this week
- [WIP] ้็ฉบๆๅบซใใญในใใฎใใผใตโ11Feb 23, 2019Updated 7 years ago
- Find reference points and lines in crease patterns.โ15Nov 19, 2025Updated 3 months ago
- โ11Aug 23, 2023Updated 2 years ago
- Open, hand-typed notes by HKU students, for HKU students.โ18Sep 5, 2025Updated 5 months ago
- Rust port of webpack/enhanced-resolve with PNP supportโ73Feb 20, 2026Updated last week
- Kernel CLIโ13Updated this week