Aalto-LeTech / aplus-coursesLinks
A+ Courses is a plugin for IntelliJ IDEA, used in programming courses at Aalto University
☆17Updated this week
Alternatives and similar repositories for aplus-courses
Users that are interested in aplus-courses are comparing it to the libraries listed below
Sorting:
- Check if a program only uses a subset of the Python language.☆13Updated 3 weeks ago
- An open-source, customizable intermediate logic textbook☆1,170Updated this week
- A modern computer algebra library for Python and Rust.☆620Updated last week
- Server for auto-evaluating exercices☆18Updated last year
- Python API wrapper for Instructure's Canvas LMS. Easily manage courses, users, gradebooks, and more.☆608Updated 6 months ago
- An extremely fast LaTeX formatter written in Rust☆557Updated this week
- Rust wrapper for liblsl.☆16Updated last year
- Pympress is a simple yet powerful PDF reader designed for dual-screen presentations☆1,343Updated 3 weeks ago
- Stack question type for Moodle☆147Updated this week
- ☆32Updated 3 years ago
- ☆466Updated last year
- Dépôt collaboratif pour s'échanger des synthèses, notes de cours concernant la formation sciences informatiques à l'UMons.☆28Updated 6 years ago
- An editor for the Numbas e-learning system.☆58Updated this week
- ☆12Updated 3 weeks ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆22Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- An implementation of numbered theorem environments in typst☆254Updated last week
- PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io☆354Updated 11 months ago
- Simple demo that demonstrates how to use typst as a library in Rust☆95Updated 3 months ago
- This article will teach you how to integrate Google OAuth2 into your Rust application, all without relying on third-party OAuth crates su…☆40Updated 2 years ago
- Complete 2024 to 2015 entries written in Rust for the annual Advent of Code challenge, solving 500 stars in less than 1 second.☆337Updated last month
- pgf/TikZ diagram editor☆1,185Updated last year
- A data index for learning causality.☆469Updated last year
- UCalgary version of forallx, an introduction to formal logic☆108Updated this week
- A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics☆211Updated this week
- Tool for live presentations using manim☆630Updated this week
- LTI 1.3 Advantage Tool☆135Updated 10 months ago
- 2020 Django rewrite of theCourseForum website☆36Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆264Updated 6 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,289Updated this week