There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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.python-project-template
Yet another Python project template.pdfa-learning
Implementation of PDFAs and PDFA learning algorithm.master-thesis
My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.ml-from-scratch
Machine Learning algorithms implementation in Python from scratch.micrograd-js
A porting of Karpathy's Micrograd to JSethermint-dos
Ethermint Denial-of-Service experimenthow-to-secure-raspberrypi
A guide for secure your RaspberryPi from bad guys!pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)yarllib
Yet Another Reinforcement Learning Library.zero-intelligence-plus-code
Code of the seminal paper "Minimal Intelligence Agents for Bargaining Behaviours in Market-Based Environments"streaming-qa-over-shy-and-warded
tl-grammars
Grammars for temporal logic formalisms.nike
LTLf synthesis at gods' speedmarcofavorito
marcofavorito.github.io
My personal webpage.docs-template
Template for documentation.PAC-RDPs-code
Code for the PAC-RDP paper.rltg-examples
Reinforcement Learning examples using RLTGlatex-template
My Latex template.moby_dict
Python API for the Moby lexicon project, the largest word list in the world.scibench
General framework for experiment benchmarking in academic researchmy-cmake-template
Repository template for CMake projects.leanings
Experiments using the Lean theorem provermy-exercism
My Exercism solutions.linux-mail-slots
Linux Mail slots, similar to Windows "mail slots".beamer-template
My Beamer template.dotfiles
My dotfiles.lisa-issue
ethereum-whitepaper
Reproducing the Ethereum Whitepaper using Manubotgoogle-hashcode-2021
Repository for Google HashCode 2021runtime-polymorphism
Code from the Sean Parent's Talk "Better Code: Runtime Polymorphism - Sean Parent"ip-change-detector-telegram-bot
IP-change detector that notifies you via Telegram.java-project-template
A Java project templatecostituzione-della-repubblica-italiana
La Costituzione della Repubblica ItalianaMDCKP
Multiple Disjunctively Constrained Knapsak problem: definition and an approximation algorithm implementation.learnlib-examples
Learning regular languages using LearnLibLove Open Source and this site? Check out how you can help us