(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
☆19Feb 26, 2026Updated last week
Alternatives and similar repositories for prob-rodinplugin
Users that are interested in prob-rodinplugin are comparing it to the libraries listed below
Sorting:
- The BToolkit, a toolkit supporting software development with the B-method.☆38Apr 19, 2024Updated last year
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated 3 weeks ago
- [ICML 2024] Official Repository for the paper "Transformers Get Stable: An End-to-End Signal Propagation Theory for Language Models"☆10Jul 19, 2024Updated last year
- A python algorithm to change the pitch of the voice in real time☆13Dec 13, 2020Updated 5 years ago
- CVPR 2023: PAniC-3D, Vtubers dataset downloader☆13Apr 22, 2023Updated 2 years ago
- ☆16Jul 23, 2023Updated 2 years ago
- Scripts for Internet Archive☆14Mar 26, 2025Updated 11 months ago
- JAX Scalify: end-to-end scaled arithmetics☆18Oct 30, 2024Updated last year
- ICLR 2023: Learning to Extrapolate: A Transductive Approach☆11Aug 15, 2023Updated 2 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- See https://github.com/cuda-mode/triton-index/ instead!☆11May 8, 2024Updated last year
- Optimized primitives for collective multi-GPU communication☆10May 8, 2024Updated last year
- [INTERSPEECH 2024] Official code for VoxSim: A perceptual voice similarity dataset☆12Sep 29, 2025Updated 5 months ago
- ☆10Jul 16, 2024Updated last year
- ☆11Aug 28, 2015Updated 10 years ago
- Implementation of Hyena Hierarchy in JAX☆10Apr 30, 2023Updated 2 years ago
- Enhanced Reverberation As Supervision (ERAS) for unsupervised reverberant speech separation☆15Aug 1, 2024Updated last year
- ☆11Nov 7, 2024Updated last year
- Phonemes and durations labeling based on whisper small☆11Jul 7, 2024Updated last year
- [ICML 2025] LaCache: Ladder-Shaped KV Caching for Efficient Long-Context Modeling of Large Language Models☆17Nov 4, 2025Updated 4 months ago
- Adds size optimizations to any Perseus app automatically.☆10Apr 20, 2022Updated 3 years ago
- This is not remotely close to a finished product, and does not intend to nor does this claim to be working fine-tuning code for MaskGCT. …☆13Dec 4, 2024Updated last year
- Managed L2D tool libs. (In Dev)☆12Apr 20, 2019Updated 6 years ago
- Drastically Reducing the Number of Trainable Parameters in Deep CNNs by Inter-layer Kernel-sharing☆14Mar 28, 2023Updated 2 years ago
- NEAL (Nature+Energy Audio Labeller) is an open-source interactive audio data annotation tool.☆18Apr 7, 2025Updated 10 months ago
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- the indexer and search engine for irchiver, see https://irchiver.com for license and other information☆14Dec 2, 2021Updated 4 years ago
- Code for "What really matters in matrix-whitening optimizers?"☆22Oct 31, 2025Updated 4 months ago
- ☆13Nov 27, 2025Updated 3 months ago
- VI-SVC model is just VITS without MAS and DurationPredictor.☆10Nov 9, 2023Updated 2 years ago
- ☆12Apr 26, 2024Updated last year
- Brand new TTS solution☆11Dec 7, 2024Updated last year
- ☆11May 11, 2023Updated 2 years ago
- ☆13Jan 23, 2026Updated last month
- Light and dark variants for Visual Studio Code of the Base16 Grayscale theme by Chris Kempson☆10May 11, 2017Updated 8 years ago
- ☆11May 29, 2025Updated 9 months ago
- An implementation of a general multi-layer neural network (MLP) in F#. Evaluated using data sampled from complex functions plus white noi…☆11Jun 4, 2018Updated 7 years ago
- Discord bot for twitter/twitcasting/twitch tracking...☆14Nov 8, 2025Updated 3 months ago