Alternatives and similar repositories for tectonic:

Users that are interested in tectonic are comparing it to the libraries listed below

• sapir / gcc-rust
  a (WIP) Rust frontend for gcc / a gcc backend for rustc
  ☆203Updated 3 years ago
• mkhan45 / CalcuLaTeX
  A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…
  ☆397Updated 3 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆440Updated 3 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆219Updated 5 years ago
• Dalamar42 / rayt
  Monte Carlo ray tracer developed using Rust
  ☆185Updated 4 years ago
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆539Updated 4 years ago
• lf94 / img2utf
  Converts images into textual line art.
  ☆148Updated 2 years ago
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆229Updated 4 years ago
• amoffat / supertag
  A tag-based filesystem
  ☆602Updated 4 years ago
• jonhoo / superimposer
  ☆85Updated last year
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• jesusprubio / leg
  🔈 Nicer CLIs foz lazy devs
  ☆200Updated 10 months ago
• Munksgaard / session-types
  ☆557Updated 2 years ago
• grego / blades
  Blazing fast dead simple static site generator
  ☆340Updated last month
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆674Updated 3 months ago
• doctorn / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆364Updated 4 years ago
• crev-dev / crev
  Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…
  ☆406Updated 3 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆331Updated 5 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆626Updated 10 months ago
• jneem / pijul
  DVCS based on a sound theory of patches
  ☆127Updated 3 years ago
• google / mundane
  Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
  ☆1,071Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• ivanceras / sauron-native
  Truly cross platform, truly native. multiple backend GUI for rust
  ☆631Updated 3 years ago
• jimblandy / context-switch
  Comparison of Rust async and Linux thread context switch time.
  ☆721Updated 3 months ago
• mikroskeem / tosh
  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...
  ☆418Updated 3 years ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆267Updated last year
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆596Updated 3 years ago
• losfair / RefineDB
  A strongly-typed document database that runs on any transactional key-value store.
  ☆393Updated 2 years ago
• ThijsRay / coppers
  Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.
  ☆183Updated 2 years ago
• brundonsmith / life
  Simple Rust implementation of Conway's Game of Life
  ☆64Updated 2 years ago