Beast code in Giters

Ada Böhm's repositories

elsie

Python framework for making slides

Language:PythonMIT68 6 23

nelsie

Framework for Creating Slides

Language:RustMIT24 3 13

nedoc

Generator of API documentation for Python

Language:PythonMIT13 4 4

rmahjong

Riichi Mahjong

Language:PythonGPL-2.011 5 1

aislinn

Dynamic verifier for MPI programs

Language:PythonGPL-2.010 5 4

orco

Python package for defining, executing, and persisting computations

Language:PythonMIT8 4 5

dera

Generic Distributed Runtime

Language:Rust5 20

kaira

Main repository of project Kaira

Language:PythonGPL-3.05 6 20

nicetrace

Language:PythonMIT300

abrpc

Asynchronous Bidirectional RPC

Language:PythonMIT2 20

kitt

Language:PythonMIT2 3 1

lablab

Simple Image Annotation Tool

Language:TypeScriptMIT2 20

pas

Presburger Arithmetic Solver via Automatic Structures

Language:Rust2 30

mkdocs-pdoc-plugin

Language:PythonMIT1 20

neve

Neural Net Verifier

Language:Python1 30

tako

Language:RustMIT1 3 1

aislinn-valgrind

Modified version of Valgrind for Aislinn

Language:CGPL-2.0000

audio-test

Language:TypeScript020

bors-kindergarten

000

fortran_cloud

fortran zeromq example

Language:FortranGPL-3.0010

gamegym

A game theory framework with examples and algorithms

Language:PythonMIT020

nedoc-demo

Demonstration for generated documentation from nedoc

Language:HTML030

orco.pages

Github pages for ORCO

Language:HTML030

pon

Language:Jupyter Notebook020

projecting-bot

Discord bot for creating a realime exhibition

Language:PythonMIT020

replay-cache

Replaying cache for LangChain

Language:PythonMIT000

revault

Storage of Python computations in DB

Language:PythonMIT000

spirali

000

taffy

A high performance rust-powered UI layout library

NOASSERTION000

web-audio-recorder-js

.wav/.ogg/.mp3 recorder with Web Audio API

Language:JavaScriptMIT010