A compiler for language "memento"
☆32Jul 1, 2025Updated last year
Alternatives and similar repositories for memento-lang
Users that are interested in memento-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toy linker written in Rust☆13Jul 19, 2026Updated 3 months ago
- ☆66Feb 26, 2023Updated 3 years ago
- 🦀Pure-Rustで動く超高速青空文庫書式パーサー☆20Sep 15, 2026Updated last month
- self-hosted programming language targeting x86-64☆20Aug 16, 2025Updated last year
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 10 months 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.
- Fast 🐆, type-safe vectors for Purescript☆27Jan 4, 2026Updated 9 months ago
- Low-level bindings to WebGPU☆16Oct 10, 2026Updated 2 weeks ago
- ush is modern sh☆17Sep 5, 2026Updated last month
- ☆23Jun 17, 2025Updated last year
- chiwawa(CHeckpoint/restore and Instrumentation-specific WAsm runtime on WAsm runtime)☆24Updated this week
- can you clone this? (It's better not to do it, probably...)☆11Sep 4, 2025Updated last year
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 4 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- Proposal to disallow adding new private fields to non-extensible objects☆12Oct 7, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The Uguisu is a statically typed scripting language.☆17Sep 17, 2023Updated 3 years ago
- Emacs major mode and related tools for Purescript☆24Jul 17, 2026Updated 3 months ago
- ☆48Updated this week
- ☆28Updated this week
- 日本語文章の解析・校正を行う LSP サーバー。☆421Apr 3, 2026Updated 6 months ago
- ☆27Sep 29, 2022Updated 4 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- Unofficial, Earrrrrrrrrly Draft, WIP WIP WIP WIP WIP WIP WIP Never trust this. This is a crazy idea. It is merely a personal work log of…☆18May 8, 2026Updated 5 months ago
- 直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン☆19Mar 11, 2026Updated 7 months 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.
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆76Jan 6, 2025Updated last year
- A PureScript web UI framework☆156May 27, 2026Updated 5 months ago
- The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.☆13Aug 14, 2024Updated 2 years ago
- Directory-specific aliasing tool☆59Jul 12, 2025Updated last year
- Standardizing Error.captureStackTrace☆15Mar 26, 2026Updated 7 months ago
- A language for writing orchestration logic for AI agents☆16Aug 4, 2026Updated 2 months ago
- Purescript ffi for the lazy joe 🦥☆16Jun 19, 2022Updated 4 years ago
- Routing management for Halogen☆16May 6, 2022Updated 4 years ago
- A Variant that functions like Either but is extensible☆19Sep 11, 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.
- 🦊 My dotfiles☆59Oct 7, 2026Updated 3 weeks ago
- Japanese translation of "PureScript by Example"; 『実例によるPureScript』のコミュニティフォーク追従版☆12Aug 13, 2026Updated 2 months ago
- 👻 A headless vim engine for the web☆44Updated this week
- Reified types for Purescript☆22Aug 23, 2023Updated 3 years ago
- Registry of PureScript packages and metadata about them☆55Updated this week
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 years ago
- ☆15Jul 27, 2023Updated 3 years ago