Skip to content

You're not viewing the latest version. Click here to go to latest.

Juvix Docs

Benchmarks

Initializing search

Juvix
Tutorials
How-to guides
Reference
Explanations
Blog
Packages and Projects

Juvix Docs

Juvix
Juvix
- About
- Overview
- Changelog
- Contributing
Tutorials
Tutorials
How-to guides
How-to guides
- Installing Juvix
- Compiling Juvix programs
Reference
Reference
- Language reference
  Language reference
  - About
  - Functions
  - Builtins
  - Data types
  - Modules
  - Local definitions
  - Control structures
  - Comments
  - Axioms
- Standard library
- Example programs
- Benchmarks
- Tooling
  Tooling
- Judoc reference
- Misc
  Misc
  - LSP support
  - Benchmarks of the new Juvix runtime
Explanations
Explanations
- About
- Totality checking
  Totality checking
  - Termination
Blog
Blog
- Juvix Blog
- Archive
  Archive
  - 2022
- Categories
  Categories
  - implementation-notes
Packages and Projects

Benchmarks¶

2023-04-19 2023-04-17 GitHub

Was this page helpful?

Thanks for your feedback!

Thanks for your feedback! Help us improve this page by opening an issue on GitHub.

Comments

Example programs

Command line interface

Made with 🤍 by the Juvix team - Copyright © Heliax AG