A program for making zooming slides in figma.
☆42Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ocaml library for manipulating diffs.☆19Feb 12, 2024Updated 2 years ago
- Libraries and tools to keep watch on your OCaml lib's API changes☆22Apr 11, 2025Updated 11 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated last month
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- ☆12Mar 31, 2024Updated last year
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- A gemini server written in rust.☆10Sep 28, 2025Updated 6 months ago
- Github page for SSDFA☆11Jan 28, 2020Updated 6 years ago
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- Command-line library for Clojure☆27Aug 29, 2016Updated 9 years ago
- String diagrams in LaTeX.☆17Feb 26, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Random notes on mathematics (in German)☆12Feb 12, 2026Updated last month
- A fast and simple automata library☆34Updated this week
- ☆10May 3, 2017Updated 8 years ago
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）, 支持查看/提交作业、下载课程回放.☆80Mar 12, 2026Updated 2 weeks ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- A PBT framework☆10Jul 19, 2025Updated 8 months ago
- Tron Legacy colorscheme for common editors and terminal emulators☆10Feb 18, 2021Updated 5 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 4 months ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 8 months ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- Collection of code from CPSWeek competition held in 2018☆13Oct 2, 2018Updated 7 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- ☆15Nov 9, 2024Updated last year
- ☆10Mar 2, 2021Updated 5 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- The source code of my blog☆20Mar 2, 2026Updated 3 weeks ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year