Skip to content

@renaissance-benchmarks Renaissance benchmark suite

Change the repository type filter

All

    Repositories list

    9 repositories

    • renaissance

      Public
      The Renaissance Benchmark Suite
      javascalabenchmark-suitejvm-performance
      SMT
      •
      GNU General Public License v3.0
      •56•313•40•2•Updated Dec 18, 2024Dec 18, 2024

    • renaissance-benchmarks.github.io

      Public
      Public web site for the Renaissance Benchmark Suite
      CSS
      •0•2•0•0•Updated Nov 22, 2024Nov 22, 2024

    • docker-buildenv

      Public
      Dockerfiles for CI
      Dockerfile
      •1•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • utilities-r

      Public
      Benchmark result processing utilities for R
      R
      •
      Other
      •0•0•0•0•Updated Nov 20, 2023Nov 20, 2023

    • measurements

      Public
      The measurement processing scripts and results for the Renaissance Benchmark Suite
      Shell
      •
      Other
      •1•0•0•0•Updated Nov 18, 2023Nov 18, 2023

    • .github

      Public
      Profile repository
      0•0•0•0•Updated Sep 13, 2023Sep 13, 2023

    • dependency-reactors

      Public
      A foundational framework for distributed programming.
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •32•0•0•0•Updated May 2, 2021May 2, 2021

    • dependency-cafesat

      Public
      The CafeSat SMT solver for Scala
      Scala
      •
      MIT License
      •4•1•0•0•Updated Apr 23, 2021Apr 23, 2021

    • dependency-scala-smtlib

      Public
      Scala library for parsing and printing the SMT-LIB format
      SMT
      •
      MIT License
      •23•0•0•0•Updated Apr 21, 2021Apr 21, 2021