notedge / panduck.rs
File format standardization converter, inspired by pandoc
☆14Updated 3 months ago
Related projects: ⓘ
- ☆17Updated 4 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 5 months ago
- A library for garbage collection in Rust.☆12Updated 3 years ago
- Lean 定理证明☆11Updated last week
- Typst blog template based on Zola, typst.ts, and apollo.☆24Updated 2 weeks ago
- A port of TeX82 to Rust. (WIP)☆33Updated 2 years ago
- Repository of all kinds of entities.☆14Updated last year
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last month
- Convert LaTeX to MathML in Rust☆51Updated 4 years ago
- Wolfram LibraryLink interface for Rust [Deprecated]☆10Updated 6 months ago
- pest grammar file support for all JetBrains IDEs☆35Updated 6 months ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆17Updated 2 years ago
- Experimental Language based on Rust and Haskell☆51Updated 7 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆21Updated 11 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated 3 months ago
- Attribute proc-macro to delegate method to a field☆28Updated last year
- A library set of arbitrary precision numbers implemented in Rust.☆76Updated 5 months ago
- Free conversion between async and sync in Rust☆51Updated 2 years ago
- A rust wrapper around the Live2D Cubism SDK with extra functionality☆39Updated 4 years ago
- Propositional logic with types in Rust☆60Updated last year
- Rust Mono Project Template☆15Updated 5 months ago
- ☆28Updated last week
- yggdrasil compiler with rust runtime☆22Updated 5 months ago
- A concurrent GC.☆42Updated 2 years ago
- Environment control for benchmarks☆10Updated last month
- Rust binding for tcc☆13Updated last year
- Export presentation slides in various formats for Touying.☆21Updated 3 months ago
- Static keys for Rust userland applications☆45Updated last month