crlf0710 / tectonic
Experimental Oxidization of Tectonic the TeX/LaTeX engine.
☆285Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for tectonic
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- You might not need your garbage collector☆535Updated 4 years ago
- A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…☆396Updated 3 years ago
- ☆553Updated last year
- a pragmatic point-free theorem prover assistant☆137Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆612Updated 6 months ago
- Blazing fast dead simple static site generator☆333Updated 3 months ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆655Updated this week
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆358Updated 3 years ago
- (Rust) repl☆440Updated 3 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- Monte Carlo ray tracer developed using Rust☆185Updated 4 years ago
- A tag-based filesystem☆590Updated 3 years ago
- Forth for Rust's trait system☆226Updated 4 years ago
- A compiler for Standard ML, somewhat☆200Updated 2 years ago
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆398Updated 2 years ago
- A primitive computer algebra system☆572Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- TODOs you cannot forget!☆587Updated 3 years ago
- Like fork() but teleports the forked process to a different computer!☆589Updated 3 years ago
- Converts images into textual line art.☆148Updated 2 years ago
- Online introspection for Rust☆414Updated 2 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆220Updated 4 years ago
- Truly cross platform, truly native. multiple backend GUI for rust☆631Updated 3 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,072Updated last year
- A strongly-typed document database that runs on any transactional key-value store.☆391Updated 2 years ago
- A document language for the browser☆702Updated 3 months ago
- Offset payment engine☆163Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- A repo for the Servo Project☆237Updated last week