Yoorkin / EffektosView external linksLinks
☆11Apr 10, 2024Updated last year
Alternatives and similar repositories for Effektos
Users that are interested in Effektos are comparing it to the libraries listed below
Sorting:
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 4, 2026Updated last week
- A modern functional programming language with effect system.☆19Apr 21, 2024Updated last year
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Jan 30, 2026Updated 2 weeks ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- High-precision Math library implemented by moonbit☆11Sep 6, 2025Updated 5 months ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 10 months ago
- ☆13Oct 28, 2025Updated 3 months ago
- ☆11Updated this week
- Protobuf generator for MoonBit programming language☆14Jan 30, 2026Updated 2 weeks ago
- Deprecated☆39Nov 2, 2025Updated 3 months ago
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- 轻量级 Telegram QQ 转发机器人☆15Sep 26, 2021Updated 4 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Jul 9, 2025Updated 7 months ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated 3 weeks ago
- website of mooncakes.io, written in MoonBit☆23Feb 2, 2026Updated last week
- Lisp interpreter in assembly☆20Feb 16, 2018Updated 7 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- Write llvm in moonbit!☆24Jan 28, 2026Updated 2 weeks ago
- experimental packages for moonbitlang/core☆52Updated this week
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- MoonBit bindings for webview, a tiny library for creating web-based desktop GUIs.☆30Jan 13, 2026Updated last month
- Automatic testing of MoonBit programs☆28Updated this week
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 3 years ago
- FingerTree implemented in rust☆27Nov 18, 2023Updated 2 years ago
- A powerful, easy-to-use, modern Java core library for the future☆63Jan 17, 2026Updated 3 weeks ago
- Haskell library for type-inference with Hindley-Milner type-system.☆35Jun 12, 2024Updated last year
- Extendable Scratch3 Programming Environment☆10Jan 24, 2026Updated 3 weeks ago
- Personal Fork- kernel for s23 Series (mainly dm3q) with KernelSU-Next and SUSFS integration☆10Aug 24, 2025Updated 5 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A comprehensive IMU library for Sony Spresense Multi-IMU Add-on board.☆15Jul 16, 2025Updated 6 months ago
- Minimal Scratch project runner☆12Dec 5, 2025Updated 2 months ago
- W-Reader 是一款专为 JetBrains 系列 IDE（如 IntelliJ IDEA、PyCharm、WebStorm、RustRover 等）打造的轻量级小说阅读插件。它将阅读体验无缝融入开发环境，在不离开编码上下文的前提下，让你轻松享受小说阅读的乐趣。☆13Jan 23, 2026Updated 3 weeks ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 3 weeks ago
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated 2 weeks ago
- オープンチャットを外部から権限無しで覗けるサイト☆10Dec 10, 2023Updated 2 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- Dynamic Content Storing☆10Oct 12, 2022Updated 3 years ago
- ☆12Jan 28, 2026Updated 2 weeks ago