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:
- self-hosted programming language targeting x86-64☆20Aug 16, 2025Updated last year
- Contravariant functors☆12Oct 27, 2022Updated 3 years ago
- ☆66Feb 26, 2023Updated 3 years ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 9 months ago
- Fast 🐆, type-safe vectors for Purescript☆27Jan 4, 2026Updated 9 months 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.
- ☆40Updated this week
- ☆23Jun 17, 2025Updated last year
- ush is modern sh☆17Sep 5, 2026Updated last month
- Various mechanized proof files for fun.☆17Updated this week
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 4 years ago
- chiwawa(CHeckpoint/restore and Instrumentation-specific WAsm runtime on WAsm runtime)☆24Updated this week
- Emacs major mode and related tools for Purescript☆24Jul 17, 2026Updated 2 months ago
- ☆27Updated this week
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 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.
- ☆27Sep 29, 2022Updated 4 years ago
- 日本語文章の解析・校正を行う LSP サーバー。☆419Apr 3, 2026Updated 6 months ago
- 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 4 months ago
- Standardizing Error.captureStackTrace☆15Mar 26, 2026Updated 6 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Directory-specific aliasing tool☆57Jul 12, 2025Updated last year
- Handwritten GEMM using Intel AMX (Advanced Matrix Extension)☆17Jan 11, 2025Updated last year
- Registry of PureScript packages and metadata about them☆54Updated this week
- Ouroboros is a PureScript compiler written in PureScript.☆22Sep 24, 2024Updated 2 years ago
- 👻 A headless vim engine for the web☆44Updated this week
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆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 11 months ago
- Reified types for Purescript☆21Aug 23, 2023Updated 3 years ago
- A proposal for a new array method to append every element from its argument.☆17Sep 12, 2025Updated last year
- Monadic React Demo☆16Apr 27, 2026Updated 5 months ago
- Reproducible PureScript projects with Nix☆29Updated this week
- Leibniz Equality☆20Jun 7, 2018Updated 8 years ago