panglesd/slipshow
An engine for displaying slips, the next-gen version of slides
GitHub repository with 818 stars and 20 forks.
Language: OCaml
Topics: slides, slideshow, slideshow-maker, slideshow-html, slideshow-library, slip, slips
An engine for displaying slips, the next-gen version of slides
GitHub repository with 818 stars and 20 forks.
Language: OCaml
Topics: slides, slideshow, slideshow-maker, slideshow-html, slideshow-library, slip, slips
Trending score 0.20, activity score 1.06, stars gained +0, forks gained +0.
2026-06-05: 818 stars and 20 forks.
An engine for displaying slips, the next-gen version of slides
GitHub repository with 818 stars and 20 forks.
Trending score: 0.20; stars gained: +0; forks gained: +0.
Language: OCaml
Topics: slides, slideshow, slideshow-maker, slideshow-html, slideshow-library, slip
🔎 Static code analysis engine to find security issues in code.
GitHub repository with 2,648 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
MASC - Multi-Agent Streaming Coordination in OCaml
GitHub repository with 5 stars and 1 forks.
Trending score: 0.55; stars gained: +0; forks gained: +0.
Language: OCaml
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
GitHub repository with 304 stars and 41 forks.
Trending score: 0.52; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution
A static analyzer for Java, C, C++, and Objective-C
GitHub repository with 15,635 stars and 2,092 forks.
Trending score: 0.49; stars gained: +2; forks gained: -1.
Language: OCaml
Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp
OCaml library for reading, writing and modifying PDF files
GitHub repository with 230 stars and 33 forks.
Trending score: 0.48; stars gained: +1; forks gained: +0.
Language: OCaml
The HOL Light theorem prover
GitHub repository with 535 stars and 94 forks.
Trending score: 0.37; stars gained: +1; forks gained: +0.
Language: OCaml
A slide framework built for agents.
GitHub repository with 4,729 stars and 324 forks.
Trending score: 4.00; stars gained: +121; forks gained: +14.
Language: TypeScript
Topics: agent, react, slides
一个基于nano banana pro🍌的原生AI PPT生成应用,迈向"Vibe PPT"; 支持上传任意模板图片,上传任意素材&智能解析,一句话/大纲/页面描述自动生成PPT,口头修改指定区域、一键导出可编辑ppt - An AI-native slides generator based on nano banana pro🍌
GitHub repository with 14,835 stars and 1,733 forks.
Trending score: 1.50; stars gained: +39; forks gained: +3.
Language: Python
Topics: ai-ppt-maker, ai-slide-builder, ai-slides, llm, nanobananapro, slides
一键从论文生成高质量学术答辩PPT | AI-powered thesis defense slides generator | Claude Code & Codex Skill
GitHub repository with 121 stars and 5 forks.
Trending score: 1.01; stars gained: +11; forks gained: +0.
Language: TeX
Topics: academic, ai-tools, beamer, beamer-template, claude-code, codex
PPT image-first skill for Codex/Claude Code/Opencode CLI
GitHub repository with 980 stars and 83 forks.
Trending score: 0.84; stars gained: +6; forks gained: +1.
Language: Python
Topics: office, powerpoint, slide, slides, ppt
Online Web3 Crypto Casino Platform - Crash, Jackpot, Roulette, Slot, Coinflip, Mine, Poker. It is designed for fast gameplay, real-time community, and serious risk control – without sacrificing developer friendliness.
GitHub repository with 109 stars and 35 forks.
Trending score: 0.72; stars gained: +5; forks gained: +0.
Language: TypeScript
Topics: betting, casino, coinflip, crash, crypto-game, dice
A curated list of AI PPT, PowerPoint automation, PPTX editing, and slide workflow tools.
GitHub repository with 10 stars and 0 forks.
Trending score: 0.63; stars gained: +3; forks gained: +0.
Language: Python
Topics: ai, aippt, awesome, awesome-list, generative-ai, powerpoint