15 motion design styles, each made by Claude Opus 5.5 writing code from one prompt: watch the films, copy the prompts, read the full source.
Repository Index
47,133 repositories indexed
25–32 of 32 · Most stars
Learning Management System OpenOlat
- elearning
- lms
- java
- education
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Edrys is an open and modular remote teaching platform (and the first live LMS)
- edrys
- education
- classroom
- virtual-classroom
INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
- grading
- assessment
- education
- e-assessment
TranslatedDesign styles, motion films, visual guides & editable source code.
A basic UI-clone of Instagram using Elm
A simple Common Lisp example of using LLMs with RAG