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:
- self-hosted programming language targeting x86-64☆20Aug 16, 2025Updated 11 months ago
- Contravariant functors☆11Oct 27, 2022Updated 3 years ago
- ☆66Feb 26, 2023Updated 3 years ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆55Dec 15, 2025Updated 7 months ago
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆23Updated this week
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- ☆23Jun 17, 2025Updated last year
- ush is modern sh☆15Jul 13, 2026Updated 2 weeks ago
- Various mechanized proof files for fun.☆15Updated 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)☆23Jul 22, 2026Updated last week
- The Uguisu is a statically typed scripting language.☆17Sep 17, 2023Updated 2 years ago
- Emacs major mode and related tools for Purescript☆24Jul 17, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆25Updated this week
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- 日本語文章の解析・校正を行う LSP サーバー。☆418Apr 3, 2026Updated 3 months 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 2 months ago
- The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.☆13Aug 14, 2024Updated last year
- Routing management for Halogen☆15May 6, 2022Updated 4 years ago
- A PureScript web UI framework☆154May 27, 2026Updated 2 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆74Jan 6, 2025Updated last year
- 直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン☆19Mar 11, 2026Updated 4 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.
- 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☆52Updated this week
- Ouroboros is a PureScript compiler written in PureScript.☆21Sep 24, 2024Updated last year
- 👻 A headless vim engine for the web☆41Updated this week
- Haskell Profunctor Optics experiments☆15Sep 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 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.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆16Oct 28, 2025Updated 9 months ago
- Reified types for Purescript☆21Aug 23, 2023Updated 2 years ago
- Monadic React Demo☆16Apr 27, 2026Updated 3 months ago
- Reproducible PureScript projects with Nix☆29Updated this week
- Leibniz Equality☆19Jun 7, 2018Updated 8 years ago
- Latte's C Compiler☆25Jul 12, 2026Updated 2 weeks ago
- 🐑 My profile page☆13Jun 14, 2026Updated last month