Beast code in Giters

Nazareno Garagiola's starred repositories

approxmc

Approximate Model Counter

Language:C++NOASSERTION7000

telegram-expense-bot

A bot that helps you manage and track your daily expenses.

Language:JavaScript6000

scram

Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)

Language:C++GPL-3.013300

ADDMC

An exact weighted model counter based on algebraic decision diagrams

Language:C++MIT1000

tracing-indicatif

Tracing layer that automatically creates and manages progress bars for active spans.

Language:RustMIT17500

cleanrl

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Language:PythonNOASSERTION511400

momba

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

Language:PDDLApache-2.01700

wikineural

Data and evaluation code for the paper WikiNEuRal: Combined Neural and Knowledge-based Silver Data Creation for Multilingual NER (EMNLP 2021).

Language:PythonNOASSERTION6400

Back-Pytherin

Pytherin's Back-end for Secret Voldemort

Language:Python300