Programming Languages

Languages

All Categories

Csd Utwente

Certified Software Development with Dependent Types in Idris

Categories > Content Management > Slides

Suggest Alternative

Stars

License

No license specified

Open Issues

Most Recent Commit

8 years ago

Programming Language

Idris

Categories

Programming Languages > Types

Content Management > Slides

Programming Languages > Dependent Types

Repo

Alternatives To Csd Utwente

Select To Compare

Reveal.js ⭐ 66,268

The HTML Presentation Framework

dependent packages 128total releases 35most recent commit 4 months ago

Fullpage.js ⭐ 34,889

fullPage plugin by Alvaro Trigo. Create full screen pages fast and simple

dependent packages 34total releases 68most recent commit 3 months ago

Pandoc ⭐ 31,310

Universal markup converter

dependent packages 13total releases 74most recent commit 3 months ago

Slidev ⭐ 29,845

Presentation Slides for Developers

dependent packages 121total releases 313most recent commit 3 months ago

Slick ⭐ 28,138

the last carousel you'll ever need

dependent packages 1,204total releases 25most recent commit 5 months ago

Vue Awesome Swiper ⭐ 12,559

🏆 Swiper component for @vuejs

dependent packages 587total releases 58most recent commit a year ago

Remark ⭐ 12,445

A simple, in-browser, markdown-driven slideshow tool.

dependent packages 4total releases 1most recent commit 6 months ago

Recyclerview Animators ⭐ 11,367

An Android Animation library which easily add itemanimator to RecyclerView items.

dependent packages 10total releases 12most recent commit 4 months ago

Mdx Deck ⭐ 11,040

♠️ React MDX-based presentation decks

dependent packages 29total releases 137most recent commit a year ago

Headroom.js ⭐ 10,845

Give your pages some headroom. Hide your header until you need it

dependent packages 56total releases 14most recent commit 2 years ago

Suggest An Alternative To csd-utwente