moonbit-community / linalg
Linear Algbra lib in MoonBit
☆13Updated last week
Alternatives and similar repositories for linalg:
Users that are interested in linalg are comparing it to the libraries listed below
- TEA web UI framework for MoonBit. WIP☆16Updated this week
- Automatic testing of MoonBit programs☆23Updated this week
- tree-sitter grammar for moonbit☆22Updated this week
- A Wasm4 binding for MoonBit☆14Updated this week
- ☆14Updated 3 months ago
- ☆21Updated 3 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆25Updated last week
- ☆15Updated 4 months ago
- ☆14Updated 2 months ago
- A modern functional programming language with effect system.☆19Updated 10 months ago
- experimental packages for moonbitlang/core☆28Updated this week
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 3 months ago
- A web framework for MoonBit.☆32Updated this week
- UI library written by moonbit-lang☆21Updated 4 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- A category and functional programing library for Zig language☆27Updated 3 weeks ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- Playing with type systems☆48Updated last month
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated 2 weeks ago
- ☆17Updated 5 years ago
- A pretty-printing combinator library for OCaml☆49Updated 6 months ago
- Experimental Spin SDK for the MoonBit programming language.☆15Updated last week
- 豫言☆27Updated 3 months ago
- Elaboration with inductive types☆16Updated last year
- RFCs of MoonBit lang☆17Updated 10 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago