blakete

blakete's Stars

• Mintplex-Labs/anything-llm

  The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.

  Language:JavaScript42.2k3002.3k4.1k

• pyenv/pyenv

  Simple Python version management

  Language:Roff41.5k3901.8k3.1k

• magic-wormhole/magic-wormhole

  get things from one computer to another, safely

  Language:Python21k218367672

• keplergl/kepler.gl

  Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.

  Language:TypeScript10.7k2031.3k1.8k

• mathjax/MathJax

  Beautiful and accessible math in all browsers

  10.4k2472.9k1.2k

• lancedb/lancedb

  Developer-friendly, embedded retrieval engine for multimodal AI. Search More; Manage Less.

  Language:Rust6k33931432

• jekyll/minima

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

  Language:SCSS3.6k603733.7k

• 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.8k68491439

• colmap/glomap

  GLOMAP - Global Structured-from-Motion Revisited

  Language:C++1.7k27116120

• pages-themes/minimal

  Minimal is a Jekyll theme for GitHub Pages

  Language:SCSS1.7k17746.2k

• Jonathan-LeRoux/IguanaTex

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

  Language:VBA991147967

• osrf/docker_images

  A repository to hold definitions of docker images maintained by OSRF

  Language:Dockerfile62241196177

• ArduPilot/apm_planner

  APM Planner Ground Control Station (Qt)

  Language:C++52678892472

• MIT-SPARK/Kimera-Multi

  Index repo for Kimera-Multi system

  Language:Shell367123445

• gazebosim/ros_gz

  Integration between ROS (1 and 2) and Gazebo simulation

  Language:C++32915200162

• MIT-SPARK/GNC-and-ADAPT

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

  Language:MATLAB1295210

• michael-simons/neo4j-migrations

  Automated script runner aka "Migrations" for Neo4j. Inspired by Flyway.

  Language:Java123611624

• google/bayesnf

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

  Language:Python11942012

• aibasel/pyperplan

  A lightweight STRIPS planner written in Python.

  Language:PDDL107131744

• prismplp/prism

  probabilistic logic programming language for statistical modeling

  Language:C++29752

• prismmodelchecker/prism-games

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

  Language:Java235726

• nimble-code/Modex

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

  Language:C212113

• koehlma/momba

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

  Language:PDDL19593

• nimble-code/Swarm

  Front-end for Spin to generate swarm verification scripts

  Language:C11200

• themoos/ui-moos

  set of user interface tools to use and leverage the MOOS project

  Language:C++7307

• tsung-ju/homebrew-iguanatexmac

  Language:Ruby6112

• blakete/blakete.github.io

  Language:SCSS1110

• efahnestock/principles_of_autonomy_local

  Language:Jupyter Notebook11

• michael-simons/homebrew-neo4j-migrations

  Language:Ruby1301

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

  Language:SCSS11109