L'intranet étudiant de l'École des Ponts
☆16May 31, 2026Updated 5 months ago
Alternatives and similar repositories for upont-v4
Users that are interested in upont-v4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Oct 20, 2025Updated last year
- https://doc.incubateur.net/communaute/☆20Updated this week
- ☆14Mar 15, 2022Updated 4 years ago
- Code for CHAMMI-75 - ICLR 2026☆18Jun 29, 2026Updated 4 months ago
- nix files for home-manager☆21Jan 3, 2023Updated 3 years 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.
- ☆14Aug 1, 2022Updated 4 years ago
- Python online ide.☆16Jul 5, 2020Updated 6 years ago
- This project uses LLMs to generate music from text by understanding prompts, creating lyrics, determining genre, and composing melodies. …☆22May 21, 2024Updated 2 years ago
- Zip your bags and plan a trip with TripZip.☆10May 16, 2024Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Wrapper for pallets/click that uses dataclasses instead of kwargs☆14Oct 10, 2025Updated last year
- Dotfiles used with my current Debian setup using i3wm☆29Sep 13, 2020Updated 6 years ago
- ☆31Feb 12, 2026Updated 8 months ago
- ☆14May 26, 2025Updated last year
- 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.
- Code for the Foot Implicit Neural Deformation model☆43Mar 24, 2025Updated last year
- ☆20Jan 31, 2022Updated 4 years ago
- ☆55Aug 19, 2025Updated last year
- VAEs and nonlinear ICA: a unifying framework☆43Jun 16, 2020Updated 6 years ago
- ☆27Nov 1, 2021Updated 5 years ago
- Installation and configuration of a Freqtrade trading bot on Linux Mint☆53Nov 20, 2021Updated 4 years ago
- Python script solving the wave equation (équations de D'Alembert) 1D and 2D by taking into account velocity variation.☆54Jul 25, 2021Updated 5 years ago
- Deploys a Komodo Alerter that pushes to Gotify☆28Apr 7, 2026Updated 6 months ago
- Tutorials for the Machine Learning for Time Series class - Master MVA☆27Dec 4, 2024Updated last year
- 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.
- A declarative way of using keyboard shortcuts + callbacks in leptos applications.☆68Jan 25, 2025Updated last year
- Facebook AI Research Sequence-to-Sequence Toolkit written in Python.☆34Aug 11, 2023Updated 3 years ago
- Script to automatically create or update A/AAAA DNS records for a host☆31Mar 31, 2024Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- CLI to the Cedana Service☆60May 5, 2025Updated last year
- Labs and homeworks done during the Master Mathematics, Vision, Learning (MVA) at ENS Paris-Saclay.☆28Apr 4, 2023Updated 3 years ago
- PyTorch implementation of the Munchausen Reinforcement Learning Algorithms M-DQN and M-IQN☆46Oct 4, 2020Updated 6 years ago
- An implementation of Deep Q-Learning from Demonstrations (DQfD) for playing Atari 2600 video games☆31Dec 10, 2022Updated 3 years ago
- Python library to download gas consumption from a Grdf account☆44Oct 20, 2026Updated 2 weeks 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.
- Switch between BYOK models for GitHub Copilot CLI with one command☆43May 23, 2026Updated 5 months ago
- Store and replay webhooks☆80Jun 22, 2025Updated last year
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- An opinionated computer algebra system written in Rust, used by CalcBot.☆47Sep 27, 2026Updated last month
- Fine-tuning and serving LLMs on any cloud☆91Dec 2, 2023Updated 2 years ago
- Gazpar2HAWS is a gateway that reads data history from the GrDF (French gas provider) meter and send it to Home Assistant using WebSocket …☆45Updated this week