Official Code for the L4DC 2023 conference paper and ICLR 2023 NeSy-GeMs workshop paper.
☆15Oct 17, 2023Updated 2 years ago
Alternatives and similar repositories for Constrained_Models
Users that are interested in Constrained_Models are comparing it to the libraries listed below
Sorting:
- Various adaptive control implementations (university project)☆22Jun 22, 2017Updated 8 years ago
- Probabilistic inference for models of behaviour☆10Oct 13, 2025Updated 4 months ago
- Dynamic mode decomposition in Python☆13Jun 9, 2015Updated 10 years ago
- Robotarium quadcopter simulator in python.☆10Jan 10, 2022Updated 4 years ago
- Maze generation & solving with Python☆10Oct 2, 2021Updated 4 years ago
- Get going with contributing to open source software☆10Nov 21, 2015Updated 10 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- R CookBook examples☆12Apr 5, 2012Updated 13 years ago
- Discrete Optimal Search Library (DOSL): A template-based C++ library for searching, path-finding and exploring discrete spaces such as gr…☆51Jan 12, 2023Updated 3 years ago
- This R code implements the GSPPCA algorithm for high-dimensional unsupervised feature selection.☆10Jul 29, 2025Updated 7 months ago
- Functional Data Analysis using Square-Root Slope Framework☆10Oct 26, 2020Updated 5 years ago
- ☆19Nov 25, 2024Updated last year
- An end-to-end computational pipeline for large Perturb-seq screens☆15Apr 25, 2025Updated 10 months ago
- UAI paper 'Expressive Priors in Bayesian Neural Networks: Kernel Combinations and Periodic Functions'☆11Jun 26, 2019Updated 6 years ago
- ☆43May 11, 2025Updated 9 months ago
- Everything needed to replicate the figures from the paper "Engineering recurrent neural networks from task-relevant manifolds and dynamic…☆12Dec 5, 2019Updated 6 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Small extensions of the Bellman-Ford routines in NetworkX, primarily for convenience☆13May 7, 2018Updated 7 years ago
- Example analyses making extensive use of nelpy.☆10May 1, 2019Updated 6 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- 🏆 This project achieved first place in the Python Discord Code Jam 2023!☆12Nov 23, 2023Updated 2 years ago
- Neural model state and parameter estimation from data (Karoly et al 2018)☆10Mar 20, 2020Updated 5 years ago
- Open source Python scripts for Psychology and the Neurosciences☆18Nov 8, 2013Updated 12 years ago
- These are module outlines for the youtube series called 'Introduction to Modern Brain Computer Interface Design' by Christian A. Kothe☆12Nov 9, 2015Updated 10 years ago
- ☆14Mar 9, 2023Updated 2 years ago
- Monte Carlo tree search for the travelling salesman problem (MCTS for the TSP)☆12Jun 18, 2022Updated 3 years ago
- HiC-Reg is a tool to predict Hi-C contact counts from one-dimensional regulatory signals☆11Aug 25, 2020Updated 5 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Cab Members and Vehicle Live Tracking App in flutter☆13Aug 25, 2019Updated 6 years ago
- ☆12Mar 28, 2023Updated 2 years ago
- ☆11Jun 17, 2016Updated 9 years ago
- Source Code for Foreground-Background Separation through Concept Distillation from Generative Image Foundation Models☆12Jun 18, 2025Updated 8 months ago
- R Code recipes for Functional Data Analysis for phonetic analysis.☆13Jul 31, 2024Updated last year
- CMU 16-745 Optimal Control & Reinforcement Learning Final Project with Gerald D'Ascoli, Jonathan Lord-Fonda, Jason Xiang☆10May 11, 2022Updated 3 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- ☆22Aug 30, 2014Updated 11 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 2 years ago