A compiler for language "memento"
☆31Jul 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:
- ☆66Feb 26, 2023Updated 3 years ago
- Fast 🐆, type-safe vectors for Purescript☆27Jan 4, 2026Updated 8 months ago
- ☆35Updated this week
- Low-level bindings to WebGPU☆16Aug 4, 2023Updated 3 years ago
- ☆23Jun 17, 2025Updated last year
- 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.
- ush is modern sh☆16Sep 5, 2026Updated last week
- Various mechanized proof files for fun.☆15Aug 30, 2026Updated 2 weeks ago
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 4 years ago
- chiwawa(CHeckpoint/restore and Instrumentation-specific WAsm runtime on WAsm runtime)☆23Updated this week
- The Uguisu is a statically typed scripting language.☆17Sep 17, 2023Updated 3 years ago
- ☆27Updated this week
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- ☆27Sep 29, 2022Updated 3 years ago
- 日本語文章の解析・校正を行う LSP サーバ ー。☆420Apr 3, 2026Updated 5 months 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.
- The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.☆13Aug 14, 2024Updated 2 years ago
- Routing management for Halogen☆16May 6, 2022Updated 4 years ago
- A PureScript web UI framework☆156May 27, 2026Updated 3 months ago
- Standardizing Error.captureStackTrace☆15Mar 26, 2026Updated 5 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆76Jan 6, 2025Updated last year
- 直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン☆19Mar 11, 2026Updated 6 months ago
- Purescript ffi for the lazy joe 🦥☆16Jun 19, 2022Updated 4 years ago
- Directory-specific aliasing tool☆57Jul 12, 2025Updated last year
- Handwritten GEMM using Intel AMX (Advanced Matrix Extension)☆17Jan 11, 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.
- Registry of PureScript packages and metadata about them☆54Updated this week
- 👻 A headless vim engine for the web☆43Updated this week
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 4 years ago
- Vitest custom matcher displaying error messages in Koume Dayu's comedy style: "〜かと思ったら〜でした〜チクショー！！"☆20Feb 27, 2025Updated last year
- Elisp(Emacs Lisp) backend for PureScript☆14Feb 8, 2022Updated 4 years ago
- A Variant that functions like Either but is extensible☆19Sep 11, 2021Updated 5 years ago
- ☆17Nov 15, 2019Updated 6 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 10 months ago
- Reified types for Purescript☆21Aug 23, 2023Updated 3 years 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.
- A proposal for a new array method to append every element from its argument.☆17Sep 12, 2025Updated last year
- Monadic React Demo☆15Apr 27, 2026Updated 4 months ago
- Reproducible PureScript projects with Nix☆29Updated this week
- Leibniz Equality☆20Jun 7, 2018Updated 8 years ago
- Latte's C Compiler☆26Aug 20, 2026Updated 3 weeks ago
- 🐑 My profile page☆13Aug 7, 2026Updated last month
- JavaScript date utility library for Temporal☆42Aug 11, 2026Updated last month