Stars
Durable workflow automation in just a few lines of code
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
ParadisoSolutions / moodle
Forked from moodle/moodleA direct mirror of the official moodle.git repository at http://git.moodle.org/. Please do NOT file PULL requests here, instead please use http://tracker.moodle.org
Oauth2 authentication plugin for Moodle (for Moodle 3.2 and earlier)
A professional front-end template for building fast, robust, and adaptable web apps or sites.
Moodle - the world's open source learning platform