Alternatives and similar repositories for tectonic

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

• mkhan45 / CalcuLaTeX
  A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output,…
  ☆404Updated 4 years ago
• sapir / gcc-rust
  a (WIP) Rust frontend for gcc / a gcc backend for rustc
  ☆202Updated 3 years ago
• Dalamar42 / rayt
  Monte Carlo ray tracer developed using Rust
  ☆186Updated 5 years ago
• nadavrot / layout
  Layout is a rust library and a tool that renders Graphviz dot files.
  ☆706Updated 4 months 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…
  ☆419Updated 3 years ago
• lf94 / img2utf
  Converts images into textual line art.
  ☆146Updated 3 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆442Updated 3 years ago
• cofibrant / micro-mitten
  You might not need your garbage collector
  ☆543Updated 5 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆142Updated last week
• Munksgaard / session-types
  ☆574Updated 2 years ago
• amoffat / supertag
  A tag-based filesystem
  ☆610Updated 4 years ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆624Updated 2 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆657Updated 3 months ago
• davidpdrsn / todo-or-die
  TODOs you cannot forget!
  ☆593Updated 4 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆221Updated 5 years ago
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆230Updated 5 years ago
• cofibrant / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆372Updated 4 years ago
• benhoyt / countwords
  Playing with counting word frequencies (and performance) in various languages.
  ☆306Updated 3 years ago
• nota-lang / nota
  A document language for the browser
  ☆706Updated last year
• sidkshatriya / me
  This is a space where I express my thoughts and opinions on mostly technical things
  ☆167Updated 4 months ago
• pyjarrett / septum
  Context-based code search tool
  ☆392Updated 3 months ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆271Updated 2 years ago
• ThijsRay / coppers
  Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.
  ☆184Updated 3 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆829Updated last year
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆605Updated 4 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• e-n-f / if-then-else
  !!Con West 2019 talk
  ☆354Updated 4 years ago
• joelthelion / life_web
  Life simulation written in rust
  ☆224Updated 3 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• jonhoo / superimposer
  ☆85Updated 3 weeks ago