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
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆13Updated this week
- Automatic testing of MoonBit programs☆19Updated this week
- tree-sitter grammar for moonbit☆19Updated this week
- A Wasm4 binding for MoonBit☆14Updated this week
- ☆14Updated 2 months ago
- TEA web UI framework for MoonBit. WIP☆13Updated this week
- ☆15Updated 2 months ago
- ☆14Updated last month
- A modern functional programming language with effect system.☆19Updated 8 months ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆30Updated 2 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆23Updated last month
- UI library written by moonbit-lang☆21Updated 3 months ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- ☆21Updated last month
- ☆17Updated 5 years ago
- Playing with type systems☆48Updated 2 weeks ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Experimental Spin SDK for the MoonBit programming language.☆14Updated this week
- A web framework for MoonBit.☆30Updated this week
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- 豫言☆27Updated 2 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- RFCs of MoonBit lang☆17Updated 9 months ago
- ☆22Updated 11 months ago
- Elaboration with inductive types☆16Updated last year
- Compile-time metaprogramming for OCaml☆71Updated 5 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated this week
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Dynamic types for OCaml☆25Updated 8 years ago