|
None |
2 |
new rustc-timing repository for freshly collected data |
Jul 14, 2023 |
|
Jupyter Notebook |
2 |
Pulsar timing data processing pipeline for MeerTime data. |
May 10, 2023 |
|
Jupyter Notebook |
42 |
Learning material for pulsar timing data analysis |
Mar 14, 2023 |
|
Rust |
4 |
custom rustc/clippy lint framwork and a rustc plugin |
Apr 01, 2022 |
|
Rust |
698 |
libgccjit AOT codegen for rustc |
Oct 03, 2022 |
|
Rust |
924 |
Cranelift based backend for rustc |
Aug 21, 2022 |
|
None |
7 |
libgccjit AOT codegen for rustc |
Apr 25, 2023 |
|
Fortran |
12 |
Tempo is a program for pulsar timing data analysis. |
May 11, 2023 |
|
Python |
10 |
Pulsar timing data analysis tools. Wrapper for Enterprise. Documentation: |
Mar 16, 2023 |
|
Rust |
6 |
Triggerable compiler errors for rustc < 1.20 |
Aug 14, 2017 |
|
Rust |
9 |
Some benchmarks for testing rustc performance. |
May 19, 2019 |
|
Rust |
447 |
Website for graphing performance of rustc |
Aug 17, 2022 |
|
Rust |
2 |
C codegen backend for rustc (WIP) |
Jan 27, 2023 |
|
JavaScript |
8 |
Source for WebAssembly Studio rustc service |
Feb 21, 2022 |
|
None |
2 |
Website for graphing performance of rustc |
Mar 16, 2024 |
|
Shell |
50 |
Bootstrapping rustc from source |
Jul 22, 2022 |
|
Rust |
20 |
Gaining support for cargo via rustc-wrapper |
Mar 20, 2023 |
|
Rust |
2 |
Simple test case for rustc math speed |
Sep 19, 2021 |
|
Rust |
5 |
A FIXME bomb rustc plugin |
Jul 10, 2016 |
|
Makefile |
3 |
[WIP] rustc targeting musl-libc |
Jan 28, 2023 |
|
JavaScript |
15 |
A GUI for spectral-timing analysis of X-ray astronomical data. |
Jul 29, 2022 |
|
Jupyter Notebook |
23 |
Shell scripts for spectral-timing analysis of X-ray astronomical data. |
Feb 15, 2023 |
|
JavaScript |
2 |
Generate the http timing(server timing) view |
Feb 22, 2024 |
|
PHP |
7291 |
Utility class for timing |
Aug 29, 2022 |
|
Perl |
2 |
script for timing experiments |
Mar 19, 2018 |
|
Pure Data |
4 |
Utilities for synchronising the timing and data of Pure Data patches on a network. |
Jul 24, 2015 |
|
Rust |
3 |
A test framework for testing rustc diagnostics output |
Jan 07, 2023 |
|
Rust |
20 |
Rust library for displaying compiler diagnostics like rustc |
May 17, 2023 |
|
HTML |
13 |
Visualize fine-grained timing data from ghc verbose logs |
Jan 12, 2022 |
|
None |
245 |
Paint Timing |
May 15, 2022 |
|
Python |
2 |
Timing --> Clockify |
Feb 23, 2021 |
|
HTML |
22 |
User Timing |
May 17, 2022 |
|
HTML |
69 |
Server Timing |
Aug 03, 2022 |
|
HTML |
99 |
Resource Timing |
Jul 29, 2022 |
|
HTML |
108 |
Navigation Timing |
May 09, 2022 |
|
C++ |
5 |
Timing Analysis |
May 09, 2023 |
|
HCL |
4 |
timing-infra |
May 31, 2023 |
|
R |
2 |
Asymptotic timing |
Apr 23, 2024 |
|
Rust |
23 |
Some internal rustc tools made accessible |
Apr 13, 2023 |
|
None |
15 |
The Rustc Trait System Refactor Initiative |
Jun 12, 2023 |
|
Python |
12 |
A RS-232 serial data analyzer for the Daktronics omnisport timing console. |
Apr 14, 2023 |
|
JavaScript |
3 |
Utilities for timing Primo performance |
Jul 27, 2021 |
|
C++ |
4 |
Small library for interval timing |
Aug 13, 2019 |
|
JavaScript |
4 |
User Timing middleware for Redux |
Mar 04, 2023 |
|
Python |
11 |
Live Timing for Pixoo-64 |
Apr 29, 2023 |
|
C++ |
2 |
⏱ Timing Utilities for Windows |
Jan 09, 2023 |
|
C++ |
2 |
Algorithms for incremental timing analysis |
Mar 11, 2024 |
|
Rust |
8 |
Plugin for rustc to dump MIR in JSON format |
Oct 09, 2022 |
|
HTML |
34 |
SAW front end for the MIR language from rustc |
Apr 17, 2023 |
|
PHP |
8 |
EXT:server-timing adds Server-Timing Header with usefull information |
Mar 24, 2023 |