View Code? Open in Web Editor
NEW
Modified version of Valgrind for Aislinn
License: GNU General Public License v2.0
C 93.82%
Shell 0.50%
Haskell 0.05%
Perl 0.79%
Assembly 1.64%
C++ 3.13%
Groff 0.01%
Objective-C 0.04%
aislinn-valgrind's Introduction
- I am a developer and research engineer at ACS Research Group and IT4Innovations.
- I am interested in AI Safety, HPC, and formal verification.
- I have PhD in Computer Science.
- I work mostly in Rust and Python; sometimes in TypeScript. In past C, C++, Haskell.
- I love digital painting and playing the cello.
Selected projects where I am main author/co-author
- HyperQueue - user-friendly and scalable job scheduler for supercomputers
- Nelsie - slide making software
- Rain - framework for large distributed pipelines
- Interlab - toolkit for multi-agent interactions
- RSDS - Dask server reimplemented in Rust
- Nedoc - non-evaluating documentation generator for Python
- Haydi - Python framework for generating discrete structures)
- Aislinn - dynamic verifier for MPI programs
- Estee - simulator for task-based workflow schedulers
- ORCO - Python package for defining, executing, and persisting computations
- Replay-cache - replay cache for LangChain
- RMahjong - Riichi Mahjong
- LabLab - A simple image anotation tool
aislinn-valgrind's People
Contributors