• Stars
    star
    1
  • Language
    Java
  • License
    MIT License
  • Created almost 2 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

A Java project template

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

scibench

General framework for experiment benchmarking in academic research
Python
2
star
23

my-cmake-template

Repository template for CMake projects.
Python
2
star
24

leanings

Experiments using the Lean theorem prover
Lean
1
star
25

my-exercism

My Exercism solutions.
C++
1
star
26

linux-mail-slots

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

beamer-template

My Beamer template.
TeX
1
star
28

dotfiles

My dotfiles.
Shell
1
star
29

lisa-issue

Python
1
star
30

ethereum-whitepaper

Reproducing the Ethereum Whitepaper using Manubot
HTML
1
star
31

google-hashcode-2021

Repository for Google HashCode 2021
Python
1
star
32

runtime-polymorphism

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

ip-change-detector-telegram-bot

IP-change detector that notifies you via Telegram.
Python
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