Giter Site home page Giter Site logo

About me 🧚‍♀️

  • 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

Ada Böhm's Projects

abrpc icon abrpc

Asynchronous Bidirectional RPC

aislinn-llvm icon aislinn-llvm

Dynamic verifier for MPI programs (old experimental version)

brun icon brun

Simple benchmarking toolkit

dera icon dera

Generic Distributed Runtime

elphie icon elphie

Framework for making slides based on Python and Inkscape

elsie icon elsie

Python framework for making slides

estee icon estee

Scheduler Simulator Environment

gamegym icon gamegym

A game theory framework with examples and algorithms

haydi icon haydi

Python framework for generating discrete structures

kaira icon kaira

Main repository of project Kaira

lnotes icon lnotes

Personal wiki based on Git + Asciidoctor/Markdown + Flask

nedoc icon nedoc

Generator of API documentation for Python

nedoc-demo icon nedoc-demo

Demonstration for generated documentation from nedoc

nukecon icon nukecon

PDB-based tool for understanding conformational aspects of interactions between proteins and nucleosides or nucleotides

orco icon orco

Python package for defining, executing, and persisting computations

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.