View Code? Open in Web Editor
NEW
This project forked from lu-zero/valgrind
Fork of valgrind git mirror
License: GNU General Public License v2.0
C 94.15%
Shell 0.50%
Haskell 0.05%
Perl 0.79%
Assembly 1.61%
C++ 2.87%
Objective-C 0.03%
PHP 0.01%
Ruby 0.01%
aislinn-valgrind-old'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-old's People
Contributors