MikeVezina

MikeVezina's Stars

• yangshun/tech-interview-handbook

  💯 Curated coding interview preparation materials for busy software engineers

  Language:TypeScript119k2.1k10314.7k

• Rem0o/FanControl.Releases

  This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.

  14.4k1252.1k451

• getmango/Mango

  Mango is a self-hosted manga server and web reader

  Language:Crystal1.7k35273123

• NSSpiral/Blackb0x

  Apple TV 2/3 Jailbreak

  Language:C5423716260

• zerotrac/leetcode_problem_rating

  Self-calculated rating of problems in leetcode weekly/biweekly contests.

  Language:Vue50272739

• Treeki/CylindricalEarth

  research into the internals of Animal Crossing: New Horizons

  Language:Python30821918

• jason-lang/jason

  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

  Language:Java219293967

• tulip-control/tulip-control

  Temporal Logic Planning toolbox

  Language:Python1111519235

• Guad/sm64o

  Super Mario 64 Online tool

  Language:C#93241229

• quickstrom/ltl-visualizer

  An interactive visualizer for linear temporal logic (LTL)

  Language:ReScript28403

• agentcontest/massim_2019

  The MASSim server 2019 edition

  Language:Java16972

• idaks/PW-explorer

  Language:Python167331

• cartisan/inBloom

  Computational storyteller based on an extended Jason Multi Agent Simulation Architecture.

  Language:Java15683

• danielduberg/STL-AEP

  Guiding Efficient 3D Exploration with Temporal Logic

  Language:C++15324

• sysulic/MEPK

  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

  Language:C++10415

• agentsoz/bdi-abm-integration

  BDI ABM Integration

  Language:Java847513

• MikeVezina/epistemic-agents

  Thesis Implementation: Jason agents that can generate and reason about epistemic models (using an epistemic reasoner API).

  Language:Java2280

• MikeVezina/epistemic-reasoner

  Epistemic Reasoner as a Service (Node.js API for reasoning about single agent epistemic models)

  Language:TypeScript2110

• NMAI-lab/agent-black-box

  Language:Java1530