blakete

blakete's Stars

• silvxlabs/fastfuels-core

  Core algorithms for FastFuels

  Language:Python32

• firetools/qgis2fds

  An open source and free tool to export terrain elevation, landuse, and georeferencing to NIST FDS for computational fluid dynamics (CFD) wildfire or atmospheric pollutants dispersion simulations.

  Language:Python1813

• wrf-model/WPS

  The official repository for the WRF Preprocessing System (WPS)

  Language:Fortran207163

• wrf-model/WRF

  The official repository for the Weather Research and Forecasting (WRF) model

  Language:Fortran1.3k701

• proroklab/VectorizedMultiAgentSimulator

  VMAS is a vectorized differentiable simulator designed for efficient Multi-Agent Reinforcement Learning benchmarking. It is comprised of a vectorized 2D physics engine written in PyTorch and a set of challenging multi-robot scenarios. Additional scenarios can be implemented through a simple and modular interface.

  Language:Python35971

• google/googletest

  GoogleTest - Google Testing and Mocking Framework

  Language:C++35.1k10.2k

• isaac-sim/IsaacLab

  Unified framework for robot learning built on NVIDIA Isaac Sim

  Language:Python2.5k1k

• JuliaAcademy/Decision-Making-Under-Uncertainty

  Decision making under uncertainty using the POMDPs.jl ecosystem taught by Robert Moss

  Language:HTML24169

• ARCLab-MIT/STORM-AI-devkit-2025

  Development toolkit for 2025 AI Challenge

  Language:Jupyter Notebook54

• aibasel/pyperplan

  A lightweight STRIPS planner written in Python.

  Language:PDDL10042

• koehlma/momba

  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

  Language:PDDL183

• prismmodelchecker/prism-games

  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

  Language:Java2326

• prismplp/prism

  probabilistic logic programming language for statistical modeling

  Language:C++282

• tsung-ju/homebrew-iguanatexmac

  Language:Ruby62

• Jonathan-LeRoux/IguanaTex

  A PowerPoint add-in to insert LaTeX equations into PowerPoint presentations on Windows and Mac

  Language:VBA92464

• efahnestock/principles_of_autonomy_local

  Language:Jupyter Notebook11

• mathjax/MathJax

  Beautiful and accessible math in all browsers

  10.3k1.2k

• pyenv/pyenv

  Simple Python version management

  Language:Roff40k3.1k

• nimble-code/Swarm

  Front-end for Spin to generate swarm verification scripts

  Language:C10

• nimble-code/Modex

  a model extractor, to automatically extract Spin verification models from multi-threaded C code

  Language:C204

• google/bayesnf

  Bayesian Neural Field models for prediction in large-scale spatiotemporal datasets

  Language:Python10210

• MIT-SPARK/Kimera-Multi

  Index repo for Kimera-Multi system

  Language:Shell35641

• MIT-SPARK/GNC-and-ADAPT

  Graduated Non-Convexity (GNC) and Adaptive Trimming (ADAPT) algorithms for outlier robust estimation

  Language:MATLAB1199

• python-control/python-control

  The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.

  Language:Python1.7k432

• jekyll/minima

  Minima is a one-size-fits-all Jekyll theme for writers.

  Language:SCSS3.5k3.7k

• pages-themes/minimal

  Minimal is a Jekyll theme for GitHub Pages

  Language:SCSS1.6k6.1k

• blakete/blakete.github.io

  Language:SCSS1

• gazebosim/ros_gz

  Integration between ROS (1 and 2) and Gazebo simulation

  Language:C++274147

• osrf/docker_images

  A repository to hold definitions of docker images maintained by OSRF

  Language:Dockerfile591172

• mit-acl/mit-acl.github.io

  Language:SCSS18