Skip to content

muhamadjnq/Pacto

Languages

  • Rust 64.7%
  • Move 21.5%
  • TypeScript 9.6%
  • SMT 1.0%
  • TeX 1.0%
  • JavaScript 0.6%
  • Other 1.6%