miquelramirez

fs-benchmarks

patty

A Numeric Planner made with SMT

OpenCombat

Open source close combat inspired game

boost_matheval

Evaluate mathematical expressions using Boost.Spirit

branch_and_cut_for_kinodynamic_motion_planning

Experimental data for the paper "Kinodynamic motion planning via Branch-and-Cut over Roadmaps"

cadical

CaDiCaL SAT Solver

cbf

An open source repository for control, planning and navigation about control barrier functions.

cbf-cartpole

Various Control Barrier Function realized on cartpole.

CMAutoEditor

CPP_Optimizations_Diary

Tips and tricks to optimize your C++ code

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)

downward-benchmarks

europa

flecs

A fast entity component system (ECS) for C & C++

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

handson-ml3

A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

icaps2024.github.io

Website for ICAPS 2024

InvitationToDynamicalSystems

Download my book "Invitation to Dynamical Systems" and its solution manual.

ipc2023-dataset

libnpy

C++ library for reading and writing of numpy's .npy files

LiSAT

Local-Planner-Visualization-Project

An all-in-one application to visualize multiple different local path planning algorithms

minisat

A minimalistic and high-performance SAT solver

miquelramirez.github.io

Miquel Ramirez, PhD CS Personal website

openmct

A web based mission control framework.

robotarium_python_simulator

A Python simulator for the Robotarium! See your algorithm run on real robots!

slv

SLV is an open source C library for isolating and approximating the real roots of univariate polynomials with integer coefficients.

TemporalFastDownward

Temporal Fast Downward

UDBM

Uppaal DBM library

unified-planning

The AIPlan4EU Unified Planning Library