marcofavorito/scibench marcofavorito/scibench

  • Stars
    star
    2
  • Language
    Python
  • License
    GNU Lesser Genera...
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcofavorito/scibench
github

marcofavorito

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

General framework for experiment benchmarking in academic research

More Repositories

1

my-bookshelf

Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never read.
HTML
74
star
2

python-project-template

Yet another Python project template.
Python
13
star
3

pdfa-learning

Implementation of PDFAs and PDFA learning algorithm.
Python
11
star
4

master-thesis

My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
TeX
10
star
5

ml-from-scratch

Machine Learning algorithms implementation in Python from scratch.
Jupyter Notebook
10
star
6

micrograd-js

A porting of Karpathy's Micrograd to JS
TypeScript
7
star
7

ethermint-dos

Ethermint Denial-of-Service experiment
Python
7
star
8

how-to-secure-raspberrypi

A guide for secure your RaspberryPi from bad guys!
7
star
9

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)
Python
5
star
10

yarllib

Yet Another Reinforcement Learning Library.
Python
4
star
11

zero-intelligence-plus-code

Code of the seminal paper "Minimal Intelligence Agents for Bargaining Behaviours in Market-Based Environments"
C
3
star
12

streaming-qa-over-shy-and-warded

Python
3
star
13

tl-grammars

Grammars for temporal logic formalisms.
Python
3
star
14

nike

LTLf synthesis at gods' speed
C++
3
star
15

marcofavorito

2
star
16

marcofavorito.github.io

My personal webpage.
JavaScript
2
star
17

docs-template

Template for documentation.
HTML
2
star
18

PAC-RDPs-code

Code for the PAC-RDP paper.
Python
2
star
19

rltg-examples

Reinforcement Learning examples using RLTG
Python
2
star
20

latex-template

My Latex template.
TeX
2
star
21

moby_dict

Python API for the Moby lexicon project, the largest word list in the world.
Python
2
star
22

my-cmake-template

Repository template for CMake projects.
Python
2
star
23

leanings

Experiments using the Lean theorem prover
Lean
1
star
24

my-exercism

My Exercism solutions.
C++
1
star
25

linux-mail-slots

Linux Mail slots, similar to Windows "mail slots".
Batchfile
1
star
26

beamer-template

My Beamer template.
TeX
1
star
27

dotfiles

My dotfiles.
Shell
1
star
28

lisa-issue

Python
1
star
29

ethereum-whitepaper

Reproducing the Ethereum Whitepaper using Manubot
HTML
1
star
30

google-hashcode-2021

Repository for Google HashCode 2021
Python
1
star
31

runtime-polymorphism

Code from the Sean Parent's Talk "Better Code: Runtime Polymorphism - Sean Parent"
C++
1
star
32

ip-change-detector-telegram-bot

IP-change detector that notifies you via Telegram.
Python
1
star
33

java-project-template

A Java project template
Java
1
star
34

costituzione-della-repubblica-italiana

La Costituzione della Repubblica Italiana
1
star
35

MDCKP

Multiple Disjunctively Constrained Knapsak problem: definition and an approximation algorithm implementation.
C++
1
star
36

learnlib-examples

Learning regular languages using LearnLib
Java
1
star
37

portable-search-engine

Setup scripts for having easy access to a full-fledged search engine leveraging the amazing MG4J.
Shell
1
star