Projects

Scientific Software

Updated 6 months ago

ctbench - compile-time benchmarking and analysis — Peer-reviewed • Rank 4.9 • Science 95%

ctbench - compile-time benchmarking and analysis - Published in JOSS (2023)

benchmark clang compilation data-analysis data-visualization gcc metaprogramming

Scientific Software · Peer-reviewed

Updated 6 months ago

recording • Rank 0.7 • Science 44%

🎥 REPL for a polymorphic record-calculus

compilation lambda-calculus master-dissertation polymorphism record-calculus

Updated 6 months ago

ray • Science 26%

A Universal Language: One Ray to rule them all, One Ray to find them, One Ray to bring them all, and in the darkness bind them.

compilation computer-science game homoiconic hypergraphs ide orbitmines programming-environment programming-language rays research self-similarity universal-language version-control

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

ctbench - compile-time benchmarking and analysis — Peer-reviewed • Rank 4.9 • Science 95%

recording • Rank 0.7 • Science 44%

ray • Science 26%