☆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 27, 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.☆21Feb 13, 2026Updated 3 weeks ago
- High-precision Math library implemented by moonbit☆11Sep 6, 2025Updated 6 months ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 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 4 months ago
- Protobuf generator for MoonBit programming language☆14Updated this week
- ☆12Feb 27, 2026Updated last week
- Formal specification of the Haskell Language Report☆32Updated this week
- Deprecated☆39Nov 2, 2025Updated 4 months 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 last month
- website of mooncakes.io, written in MoonBit☆23Feb 2, 2026Updated last month
- Write llvm in moonbit!☆24Jan 28, 2026Updated last month
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- Lisp interpreter in assembly☆20Feb 16, 2018Updated 8 years ago
- experimental packages for moonbitlang/core☆52Feb 10, 2026Updated 3 weeks ago
- MoonBit bindings for webview, a tiny library for creating web-based desktop GUIs.☆33Jan 13, 2026Updated last month
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- Automatic testing of MoonBit programs☆28Updated this week
- an implementation of Observational Type Theory (OTT) and more☆31Oct 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 last month
- Haskell library for type-inference with Hindley-Milner type-system.☆35Jun 12, 2024Updated last year
- Extendable Scratch3 Programming Environment☆10Jan 24, 2026Updated last month
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated last month
- A comprehensive IMU library for Sony Spresense Multi-IMU Add-on board.☆15Jul 16, 2025Updated 7 months ago
- W-Reader 是一款专为 JetBrains 系列 IDE（如 IntelliJ IDEA、PyCharm、WebStorm、RustRover 等）打造的轻量级小说阅读插件。它将阅读体验无缝融入开发环境，在不离开编码上下文的前提下，让你轻松享受小说阅读的乐趣。☆17Feb 11, 2026Updated 3 weeks ago
- オープンチャットを外部から権限無しで覗けるサイト☆10Dec 10, 2023Updated 2 years ago
- Personal Fork- kernel for s23 Series (mainly dm3q) with KernelSU-Next and SUSFS integration☆10Aug 24, 2025Updated 6 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- ☆28Updated this week
- ☆12Jun 24, 2023Updated 2 years ago
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated last year
- ☆14Oct 30, 2024Updated last year