nagygp

Gábor P. Nagy's starred repositories

Language:Python100

Language:ShellGPL-3.0400

This tool is able to convert a quiz in *markdown* format to *Moodle's XML* format.

Language:PythonGPL-3.01000

My Cambridge Lecture Notes

Language:TeX124500

Create quizzes in QTI format for Canvas from Markdown-based plain text

Language:PythonBSD-3-Clause16600

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Language:C1500

Convert markdown to moodle xml, So that you can enjoy life rather than doing copy-pasting like mere muggles

Language:PythonGPL-3.01300

Language:C++2100

Algebraic graph theory: A GAP package

Language:GAPGPL-2.0400

Basic package manager for GAP

Language:GAPNOASSERTION1200

Interface from GAP to Nauty

Language:CNOASSERTION600

The GAP package Digraphs

Language:GAPNOASSERTION2900