TypeScript-like theorem prover
☆43Apr 30, 2025Updated last year
Alternatives and similar repositories for PeanoScript
Users that are interested in PeanoScript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- N-API based Souvenir service for CascadiaJS 2018☆14Dec 15, 2018Updated 7 years ago
- ☆15Dec 7, 2022Updated 3 years ago
- A simple way of embedding a Youtube player using an Iframe in Elm.☆10Apr 4, 2023Updated 3 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 2 months ago
- ☆12Aug 8, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A high-level programming language written in Scala☆36Nov 26, 2023Updated 2 years ago
- A interpreted language called CPound!☆12Aug 26, 2024Updated last year
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 years ago
- 🔥 A Hono middleware for standardized JSON responses☆26May 17, 2026Updated last week
- Set up a specific version of Agda for your GitHub Actions workflow.☆30Nov 24, 2025Updated 6 months ago
- A small library for testing your types☆17Aug 23, 2025Updated 9 months ago
- A portable chromium-base (cef) web browser for html/javascript desktop application development (like electron).☆18Jan 17, 2023Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Glide programming language☆21Apr 7, 2023Updated 3 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.
- ☆12Aug 5, 2023Updated 2 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated last year
- Turn standard types into JSON schemas☆23May 3, 2025Updated last year
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 11 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated last year
- A type programming language which compiles to and interops with type-level TypeScript☆22Sep 9, 2022Updated 3 years ago
- Write scripts in compiled languages that run in the Nix ecosystem, without separate build step☆16Oct 8, 2025Updated 7 months ago
- an experiment☆11Dec 20, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Transform one-sentence ideas into full movie concepts with AI. Utilizes OpenAI API, integrating ChatGPT for text generation and DALL-E fo…☆13Jan 1, 2025Updated last year
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Persistent USB & VirtualBox NixOS System Configuration Files☆10Dec 29, 2014Updated 11 years ago
- An esbuild plugin for building elm projects☆30Aug 22, 2023Updated 2 years ago
- A TypeScript Language Service Plugin to auto-complete and insert Namespace Import.☆21Aug 6, 2024Updated last year
- Rehype plugin to highlight code blocks with Shiki☆31Jan 7, 2023Updated 3 years ago
- 🌈 Extremely straightforward evaluation-time Pywal integration for Home Manager☆13Feb 27, 2026Updated 2 months ago
- A Rust backend crate for the popular card game, Blackjack, designed to also be compiled for linking with C☆11Sep 17, 2019Updated 6 years ago
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 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.
- The interface for dit, a universal container file.☆25Mar 20, 2024Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆21Updated this week
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated last month
- ☆15Nov 26, 2025Updated 5 months ago
- Rust library for rich text and beautiful formatting in the terminal☆14Dec 7, 2021Updated 4 years ago
- Structured configuration for Nix fleets.☆41Mar 18, 2026Updated 2 months ago