Stars
Disciplina de Aprendizagem de Máquina dos cursos de Ciência da Computação e Engenharia da Computação IC/UFAL
Aplicação angular rodando num container docker com nginx
This project lets you clone any HaxBall room and more.
Create, manipulate, and verify propositional logic sentences
Propositional logic evaluator and rule-based pattern matcher
jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java
A JavaScript propositional logic and resolution library
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.
✨ Open source online judge system (based on Microservice). SDUOJ 开源在线评测系统（基于微服务架构）。开源社区QQ群 808751832。示例网站 https://demo.sduoj.com
Online judge sandbox based on seccomp | OnlineJudge 安全沙箱
A modern open-source online judge and contest platform system.
Open source online judge based on Vue, Django and Docker. | 青岛大学开源 Online Judge | QQ群 496710125 | [email protected]
Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.
Schedule your photos to be posted automatically to Instagram at the specified time.
🖼 Instagram Auto-Posting BOT - Post Automatically to instagram
The community wants a sequel, and so we are going to make it reality! #AoTTG2
HaxBall clone for my Reinforcement Learning research
A better API for creating rooms for Haxball.
Haxbotron is a headless host server for Haxball game.
Reinforcement Learning based bot for Haxball 1 vs 1 problem