crlf0710 / tectonicLinks
Experimental Oxidization of Tectonic the TeX/LaTeX engine.
☆286Updated 4 years ago
Alternatives and similar repositories for tectonic
Users that are interested in tectonic are comparing it to the libraries listed below
Sorting:
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- (Rust) repl☆442Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- ☆568Updated 2 years ago
- A strongly-typed document database that runs on any transactional key-value store.☆393Updated 2 years ago
- You might not need your garbage collector☆543Updated 5 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆368Updated 4 years ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆618Updated 2 years ago
- Blazing fast dead simple static site generator☆342Updated 5 months ago
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆411Updated 3 years ago
- TODOs you cannot forget!☆592Updated 3 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,074Updated last year
- A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…☆402Updated 3 years ago
- Monte Carlo ray tracer developed using Rust☆186Updated 5 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 5 years ago
- Like fork() but teleports the forked process to a different computer!☆602Updated 3 years ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆695Updated last month
- Offset payment engine☆165Updated 2 years ago
- A primitive computer algebra system☆586Updated 2 years ago
- Converts images into textual line art.☆147Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- Forth for Rust's trait system☆229Updated 5 years ago
- A tag-based filesystem☆610Updated 4 years ago
- Online introspection for Rust☆418Updated 3 years ago
- Imagine your SSH server only listens on an IPv6 address, and where the last 6 digits are changing every 30 seconds as a TOTP code...☆417Updated 4 years ago
- 🔈 Nicer CLIs foz lazy devs☆199Updated last year
- Explorations in reactive UI patterns☆370Updated 4 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆646Updated last week
- Truly cross platform, truly native. multiple backend GUI for rust☆632Updated 4 years ago
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆299Updated last year