JBotSim Core Files
☆25Dec 3, 2021Updated 4 years ago
Alternatives and similar repositories for JBotSim
Users that are interested in JBotSim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Intermediate wrapper of MOI for some linear quadratic solvers☆16Apr 17, 2020Updated 6 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 6 years ago
- Terry Winograd's SHRDLU from 1972, cf. http://hci.stanford.edu/winograd/shrdlu/☆10Dec 16, 2015Updated 10 years ago
- Optimization model diagnostic tools for Julia/JuMP☆18Sep 28, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Solver of multiobjective linear optimization problems (MOMIP, MOLP, MOIP, MOCO): generic part☆24May 3, 2023Updated 3 years ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago
- ☆15Jul 25, 2023Updated 3 years ago
- Visual Road: A Video Data Management Benchmark☆12Oct 10, 2020Updated 6 years ago
- The SymPy tutorial for SciPy 2014☆22Dec 14, 2015Updated 10 years ago
- ☆15Sep 28, 2026Updated last month
- FlowCutter submission to PACE 2016☆13Sep 20, 2016Updated 10 years ago
- Bayes-Nash equilibrium computation of combinatorial auctions☆15May 30, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code and dataset for paper: Multi-stage Deep Classifier Cascades for OpenWorld Recognition☆13Mar 20, 2020Updated 6 years ago
- Fast json marshalling/unmarshalling with Julia types☆42Oct 3, 2025Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning☆12Mar 26, 2020Updated 6 years ago
- Fast cuckoo filter implementation for Java☆14Oct 12, 2020Updated 6 years ago
- Sequoia MSO Core Library and Programs☆13Nov 13, 2016Updated 9 years ago
- This is the public archive for the Hercules similarity search index☆10Oct 20, 2023Updated 3 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- An implementation of Defeasible Deontic Logic in Answer Set Programming☆18May 25, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 6 years ago
- Rudra's artifact evaluation submission☆11Nov 4, 2021Updated 4 years ago
- Ithaka board game is played on a four by four square grid with three pieces in each of four colors.☆13May 8, 2026Updated 5 months ago
- ☆16Dec 8, 2021Updated 4 years ago
- Experimental FlowCutter Code☆14Apr 11, 2026Updated 6 months ago
- ☆13Nov 4, 2020Updated 5 years ago
- Top-K Deep Video Analytics: A Probabilistic Approach☆14Jul 21, 2022Updated 4 years ago
- ☆18Aug 25, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Feb 25, 2020Updated 6 years ago
- A Julia interface to the Coin-OR Linear Programming solver (CLP)☆53Sep 1, 2026Updated last month
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16May 12, 2018Updated 8 years ago
- ☆12Nov 20, 2025Updated 11 months ago
- Schedule Conflict Resolver☆13Nov 27, 2017Updated 8 years ago
- Distributed smart-contract platform based on EVM-Lite and Babble☆12Dec 4, 2022Updated 3 years ago
- Proof of concept code for DatashareNetwork paper.☆10Sep 21, 2022Updated 4 years ago