A PyTorch Package for Learning with Requirements
☆21Jul 7, 2026Updated 2 months ago
Alternatives and similar repositories for PiShield
Users that are interested in PiShield are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 6, 2023Updated 2 years ago
- ☆11Sep 2, 2024Updated 2 years ago
- ☆15Aug 25, 2023Updated 3 years ago
- A collection of VLMs papers, blogs, and projects, with a focus on VLMs in Autonomous Driving and related reasoning techniques.☆11Nov 16, 2024Updated last year
- Code related to the paper "Asynchronous Batch Bayesian Optimisation with Improved Local Penalisation"☆13May 8, 2019Updated 7 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.
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated 2 months ago
- Minimal blockchain in Haskell☆13Oct 14, 2017Updated 8 years ago
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- Store your chemical data in a single file!☆13May 7, 2025Updated last year
- Latex cheat sheet for the EPFL (http://epfl.ch/) course "Pattern Matching and Machine Learning", Fall 2014.☆18May 16, 2018Updated 8 years ago
- Zooming Memory Based Initialization (ZoMBI) algorithm for discovery of optima within challenging needle-in-a-haystack (extreme data imbal…☆19Feb 14, 2024Updated 2 years ago
- ☆11Dec 5, 2015Updated 10 years ago
- This repository contains the code and slides associated with the Sargent Centre PSE Summer School on Bayesian Optimization held in Septem…☆16Sep 2, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- This repository implements various Search Based (Heuristic and Incremental) and Sampling Based (Multi Query and Single Query) motion plan…☆16May 28, 2023Updated 3 years ago
- ☆21Oct 10, 2024Updated last year
- A simple, highly customizable analog clock widget. This widget enables you to customize the clock's background, dial, markings, and hands…☆15Dec 29, 2022Updated 3 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆62May 1, 2026Updated 4 months ago
- Bayesian optimization for chemistry☆19Mar 20, 2024Updated 2 years ago
- Code accompanying "Dynamic Predictive Coding: A Model of Hierarchical Sequence Learning and Prediction in the Neocortex"☆10Mar 2, 2025Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 7 years ago
- Extract structure-functions from data using XAI and LLMs☆27Jan 20, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experiments of the "Multi-Agent Trajectory Planning with NUV Priors" paper☆12Oct 14, 2024Updated last year
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)☆13Jun 11, 2025Updated last year
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Rust wrapper for pocketsphinx☆19Apr 12, 2017Updated 9 years ago
- SPM in Julia☆12Sep 1, 2023Updated 3 years ago
- multi-fidelity fusion toolbox with (MF) Bayesian optimization☆19Sep 20, 2024Updated 2 years ago
- ☆20Dec 4, 2024Updated last year
- Self-driving laboratory for accelerated discovery of thin-film materials - data repository☆23Dec 22, 2025Updated 8 months ago
- Code for paper "Multi-label Classification Neural Networks with Hard Logical Constraints"☆15Sep 6, 2022Updated 4 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.
- ☆29Sep 13, 2024Updated 2 years ago
- This is a repository for the paper: "Sequence anticipation and spike-timing-dependent plasticity emerge from a predictive learning rule" …☆12Jun 2, 2024Updated 2 years ago
- Run context-aware commands from your source code comments☆35Jan 14, 2025Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- Julia Package for reading .tsp files☆16Jul 2, 2022Updated 4 years ago
- 📚 A collection of resources and papers on Large Language Models in autonomous driving☆27Oct 30, 2023Updated 2 years ago