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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Dec 7, 2022Updated 3 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 3 weeks ago
- ☆14Feb 26, 2026Updated 3 weeks ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A high-level programming language written in Scala☆35Nov 26, 2023Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Jul 20, 2025Updated 8 months ago
- S3-native streaming platform. A Kafka alternative with infinite scalability, Kafka-compatible APIs, SQL processing and AI queries. Writte…☆53Updated this week
- The Nox programming language☆32Jul 20, 2023Updated 2 years ago
- A dark wallpaper with many NixOS logos☆21Apr 7, 2024Updated last year
- A small library for testing your types☆17Aug 23, 2025Updated 7 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 2 years ago
- A modern scripting language; implemented in old school C, yacc & flex☆33Dec 3, 2025Updated 3 months ago
- ☆12Aug 5, 2023Updated 2 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Feb 14, 2024Updated 2 years ago
- The JS part of OneJS☆35Jul 8, 2024Updated last year
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- Turn standard types into JSON schemas☆23May 3, 2025Updated 10 months ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- A lightweight web browser for desktop application development by JavaScript/html/css (like electron).☆18Jan 6, 2023Updated 3 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- A fully-featured lexer generator, implemented as a proc macro☆71Dec 30, 2025Updated 2 months ago
- an experiment☆11Dec 20, 2024Updated last year
- Persistent USB & VirtualBox NixOS System Configuration Files☆10Dec 29, 2014Updated 11 years ago
- ☆11Mar 20, 2025Updated last year
- Structured configuration for Nix fleets.☆38Updated this week
- A TypeScript Language Service Plugin to auto-complete and insert Namespace Import.☆20Aug 6, 2024Updated last year
- Rehype plugin to highlight code blocks with Shiki☆31Jan 7, 2023Updated 3 years ago
- (Hopefully) a compiler for my first language named "Pie"☆24Mar 13, 2026Updated last week
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated 11 months ago
- Write, compile and run WebAssembly text mode in the browser☆16Jan 5, 2026Updated 2 months ago
- NixCon 2025 Workshop: Mastering NixOS Integration Tests: Advanced Techniques for Fast and Robust Multi-VM Tests☆17Mar 2, 2026Updated 3 weeks ago
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆13Sep 18, 2025Updated 6 months ago
- The interface for dit, a universal container file.☆25Mar 20, 2024Updated 2 years ago
- DAWN (Debug Adapter with Nix)☆17Jan 1, 2024Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆17Mar 11, 2026Updated last week
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Mechanized baselines for various type system features☆18Updated this week