crlf0710 / tectonic
Experimental Oxidization of Tectonic the TeX/LaTeX engine.
☆285Updated 3 years ago
Alternatives and similar repositories for tectonic:
Users that are interested in tectonic are comparing it to the libraries listed below
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆202Updated 3 years ago
- A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…☆398Updated 3 years ago
- A tag-based filesystem☆599Updated 4 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆364Updated 3 years ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆672Updated 2 months ago
- (Rust) repl☆440Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- Monte Carlo ray tracer developed using Rust☆185Updated 4 years ago
- ☆557Updated last year
- Converts images into textual line art.☆148Updated 2 years ago
- Truly cross platform, truly native. multiple backend GUI for rust☆631Updated 3 years ago
- You might not need your garbage collector☆540Updated 4 years ago
- Forth for Rust's trait system☆228Updated 4 years ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆604Updated last year
- Blazing fast dead simple static site generator☆336Updated this week
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆301Updated 7 months ago
- A primitive computer algebra system☆575Updated last year
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆403Updated 3 years ago
- TODOs you cannot forget!☆587Updated 3 years ago
- A document language for the browser☆705Updated 6 months ago
- Simple Rust implementation of Conway's Game of Life☆64Updated 2 years ago
- ☆85Updated last year
- Online introspection for Rust☆416Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 9 months ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 4 years ago
- 🔈 Nicer CLIs foz lazy devs☆200Updated 9 months ago
- DVCS based on a sound theory of patches☆126Updated 2 years ago
- Compiler from LLVM IR to Minecraft datapacks.☆555Updated 2 years ago
- SIMD-accelerated UTF-8 validation for Rust.☆536Updated last month