CakeML

Related stories

• ohm: library and language for building parsers, interpreters, compilers, etcgithub.com
  Lobsters · 12 points · over 5 years ago
• Show HN: Pysimplicial, Python library for simplicial complexes in topological MLgithub.com
  Hacker News · 2 points · 5 days ago
• How to speed up the Rust compiler in September 2026nnethercote.github.io
  Lobsters · 66 points · about 24 hours ago
• How to make Firefox builds 17% fasterblog.farre.se
  Lobsters · 20 points · 6 months ago
• Modulate ML Team Announces New Public Entity Transcription Benchmarkmodulate.ai
  Hacker News · 1 points · 9 days ago
• CP/M-80 2.2 Compilersmedium.com
  Hacker News · 1 points · 9 days ago

Related topics