lutong-z
Follow
Stars
Performance analysis of predictive (alpha) stock factors
Research and development (R&D) is crucial for the enhancement of industrial productivity, especially in the AI era, where the core aspects of R&D are mainly focused on data and models. We are commi…
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
A customizable hardware prefetching framework using online reinforcement learning as described in the MICRO 2021 paper by Bera et al. (https://arxiv.org/pdf/2109.12021.pdf).
A Flexible Framework for Experiencing Cutting-edge LLM Inference Optimizations
Memory consistency model checking and test generation library.
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
An advanced automated reasoning tool for memory consistency model specifications.
Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
In-depth exploratory performance analysis and benchmarking of the QEMU emulator using the TCG JIT in both its Linux user and system modes.
This is a repo for recording and reporting RISCV platform's test and measurement continuously.
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Stressful Application Test - userspace memory and IO test
We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop an automated tool, called HeteroGen, for composing clusters …
⚡ Workflow Automation Platform. Orchestrate & Schedule code in any language, run anywhere, 500+ plugins. Alternative to Zapier, Rundeck, Camunda, Airflow...
a Pin tool for collecting microarchitecture-independent workload characteristics
RISC-V Formal Verification Framework
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Curated list of resources about Apache Airflow
A curated list of awesome things related to Celery (distributed task queue)
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
The Free Software Media System - Server Backend & API