Kaida-Amethyst / Moonbit-Math
High-precision Math library implemented by moonbit
☆10Updated this week
Alternatives and similar repositories for Moonbit-Math:
Users that are interested in Moonbit-Math are comparing it to the libraries listed below
- Linear Algbra lib in MoonBit☆13Updated last month
- This is a calculus numerical solution library written using MoonBit, aiming to fill the gap in scientific computing applications in the M…☆9Updated last week
- Write llvm in moonbit!☆13Updated last week
- Automatic testing of MoonBit programs☆23Updated last week
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆13Updated this week
- TEA web UI framework for MoonBit. WIP☆22Updated this week
- experimental packages for moonbitlang/core☆31Updated this week
- ☆14Updated 5 months ago
- A web framework for MoonBit.☆41Updated 3 weeks ago
- Porotbuf generator for MoonBit programming language☆11Updated 3 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- UI library written by moonbit-lang☆21Updated 5 months ago
- A Wasm4 binding for MoonBit☆16Updated last month
- A modern functional programming language with effect system.☆19Updated 11 months ago
- Experimental Spin SDK for the MoonBit programming language.☆17Updated this week
- tree-sitter grammar for moonbit☆24Updated last week
- RFCs of MoonBit lang☆17Updated 11 months ago
- Pandas lib in Moonbit☆10Updated last week
- An AI Agent using MoonBit☆10Updated 4 months ago
- ☆21Updated 4 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆59Updated last week
- ☆16Updated 4 months ago
- ☆16Updated 5 months ago
- Extism PDK for the MoonBit programming language.☆28Updated last week
- ☆55Updated this week
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- ☆17Updated 5 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 4 months ago
- 豫言☆27Updated 5 months ago