A program for making zooming slides in figma.
☆41Jul 1, 2025Updated 8 months ago
Alternatives and similar repositories for slajdomat
Users that are interested in slajdomat are comparing it to the libraries listed below
Sorting:
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 3 weeks ago
- Rest-ish API definition library for Python web apps☆11May 1, 2023Updated 2 years ago
- ☆12Mar 31, 2024Updated last year
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- ☆20Jun 12, 2023Updated 2 years ago
- Libraries and tools to keep watch on your OCaml lib's API changes☆22Apr 11, 2025Updated 10 months ago
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 7 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆24Feb 28, 2026Updated last week
- A fast and simple automata library☆34Feb 12, 2026Updated 3 weeks ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Dec 14, 2016Updated 9 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- Tron Legacy colorscheme for common editors and terminal emulators☆10Feb 18, 2021Updated 5 years ago
- ConClár Programme Guide in ReactJS☆15Nov 27, 2025Updated 3 months ago
- ☆12Nov 22, 2024Updated last year
- A minimalist Hugo theme that helps you build fully responsive documentation websites for small projects.☆10Oct 19, 2021Updated 4 years ago
- CSS for Zulip chat☆10Oct 5, 2020Updated 5 years ago
- Lupa for Torch☆10Sep 16, 2015Updated 10 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- ☆11May 8, 2019Updated 6 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 6 months ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- (migrated to https://codeberg.org/shiz/restruct) Declarative binary file format parser and emitter library☆10Jun 21, 2021Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Dataset of candidate affidavits filed during elections. Sourced from MyNeta.☆11Sep 6, 2024Updated last year
- A retro InstallShield screen spoof☆10Sep 21, 2018Updated 7 years ago
- A work-in-progress cyberpunk online role-playing game.☆11May 23, 2017Updated 8 years ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆12Jun 21, 2022Updated 3 years ago
- Schema development for the International Aid Transparency Initiative.☆16Dec 12, 2025Updated 2 months ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Software Engineering for Engineers and Scientists☆16Aug 22, 2021Updated 4 years ago
- ☆10Mar 2, 2021Updated 5 years ago