A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
☆14Feb 13, 2018Updated 8 years ago
Alternatives and similar repositories for TaskProf
Users that are interested in TaskProf are comparing it to the libraries listed below
Sorting:
- Robust Edge Types for G2O☆13Jun 6, 2016Updated 9 years ago
- generative models on toys☆12Sep 10, 2024Updated last year
- A lightweight JavaScript TIFF decoder☆17Oct 31, 2018Updated 7 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 3 years ago
- Chunky Loop Interaction☆25Aug 13, 2019Updated 6 years ago
- Code for paper Efficient 2D Graph SLAM for Sparse Sensing☆19May 29, 2024Updated last year
- Natural language to robot code☆23Dec 13, 2025Updated 3 months ago
- SLAM algorithm for range-based measurements using spline surfaces☆21Feb 12, 2022Updated 4 years ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- IO engine for Nim.☆10Jul 8, 2024Updated last year
- Analog circuit simulation library; wrapper for ngspice☆11Aug 31, 2020Updated 5 years ago
- ☆13May 6, 2023Updated 2 years ago
- Cilk application benchmark programs☆11Aug 20, 2022Updated 3 years ago
- nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .☆13Jul 29, 2020Updated 5 years ago
- Runtimex package help to expose Go Runtime internals representation safely.☆13Feb 19, 2025Updated last year
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- 2D Convolutional Recurrent Neural Networks implemented in PyTorch☆19Mar 27, 2021Updated 4 years ago
- A collection of Kanren implementations in Julia☆24Oct 14, 2025Updated 5 months ago
- a modern terminal client☆37Jul 19, 2017Updated 8 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- An interactive playground for the Nim programming language☆14Jul 20, 2019Updated 6 years ago
- Backup your spotify data.☆12Feb 20, 2026Updated 3 weeks ago
- Server and dashboard components☆12Jun 24, 2024Updated last year
- Experimental finite field primitives (and maybe more)☆11Jul 24, 2020Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- The telegram framework written in Nim☆11Jun 26, 2020Updated 5 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- An extension for VS Code which provides support for the Nim language.☆13Sep 24, 2020Updated 5 years ago
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- RLibm for 32-bit representations (float and posit32)☆60Sep 16, 2021Updated 4 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- ☆23Nov 9, 2020Updated 5 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year