An INRIA beamer template
☆15Nov 19, 2019Updated 6 years ago
Alternatives and similar repositories for inria-beamer
Users that are interested in inria-beamer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 3 months ago
- Reinforcement learning tutorials using the rlberry library.☆18Jan 9, 2023Updated 3 years ago
- My PhD thesis. I defended on the 30th of October, 2020! See https://github.com/eleurent/phd-defense/☆16Sep 21, 2021Updated 4 years ago
- An easy-to-use reinforcement learning library for research and education.☆175May 25, 2026Updated last month
- Several maximum likelihood ICA algorithms, including Picard☆23Sep 13, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- A LaTeX template for PhD these at Wageningen University☆23Jan 19, 2020Updated 6 years ago
- ☆43Mar 27, 2021Updated 5 years ago
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 7 months ago
- El0ps: An Exact L0-Problem Solver☆13Jan 6, 2026Updated 6 months ago
- ☆11Oct 19, 2020Updated 5 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆17Updated this week
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python numerical optimization toolbox☆12Nov 20, 2018Updated 7 years ago
- Naive Bayes classifier for detection of langage and spelling correction☆10Mar 2, 2020Updated 6 years ago
- Information about concrete categories relevant to universal algebra☆19Apr 14, 2026Updated 3 months ago
- ☆14Jun 7, 2023Updated 3 years ago
- ☆10Apr 28, 2017Updated 9 years ago
- Optimizing PAC-Bayes bounds for Stochastic Neural Networks with Gaussian weights☆31Nov 18, 2020Updated 5 years ago
- Plannable Approximations to MDP Homomorphisms: Equivariance under Actions☆30Jun 30, 2020Updated 6 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- Wasserstein regularization for sparse multi-task regression☆15Jul 26, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A tool to comfortably check complex LaTeX documents, e.g., dissertations.☆15Updated this week
- A common interface and utilities for implementing visualizers for Pinocchio in C++.☆11Feb 12, 2025Updated last year
- Zone récréative pour les étudiants du MOOC Python3☆10Jan 10, 2023Updated 3 years ago
- Diffusion distribution matching for inverse problems☆17Sep 16, 2025Updated 10 months ago
- Clustering and Predictions with Multi-Task Gaussian Processes☆21Updated this week
- This code is no longer maintained. The codebase has been moved to https://github.com/scikit-learn-contrib/skglm. This repository only ser…☆18Nov 29, 2022Updated 3 years ago
- Micromega tactics for Mathematical Components☆30May 27, 2026Updated last month
- This repository contains the code and instructions for Arduino, Python, Streamlit, Machine Learning and more stuff!☆12Apr 8, 2024Updated 2 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- python based YAML-to-OWL-converter☆18May 20, 2022Updated 4 years ago
- GAP Safe Screening Rules for Sparse-Group Lasso.☆15Jul 24, 2018Updated 7 years ago
- Study NeuralUCB and regret analysis for contextual bandit with neural decision☆103Dec 14, 2021Updated 4 years ago
- A proof of Abel-Ruffini theorem.☆30Jun 2, 2026Updated last month
- Scala reinforcement learning framework☆15Feb 11, 2022Updated 4 years ago
- Our solution (1st/98) for the 2020 challenge proposed by Owkin and hosted by ENS - Collège de France on predicting lung cancer survival t…☆11Dec 15, 2020Updated 5 years ago
- Spark Time Series Set data analysis☆12Dec 14, 2020Updated 5 years ago