nagygp

nagygp's Stars

• dalcde/cam-notes

  My Cambridge Lecture Notes

  Language:TeX1.3k385298

• gpoore/text2qti

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

  Language:Python172166362

• digraphs/Digraphs

  The GAP package Digraphs

  Language:GAP291021043

• sre42/teach-cpp-autograding

  Language:C++215018

• theoremprover-museum/prover9

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

  Language:C15313

• goFrendiAsgard/markdown-to-moodle-xml

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

  Language:Python13412

• gap-packages/PackageManager

  Basic package manager for GAP

  Language:GAP1210818

• brunomnsilva/markdown2moodle

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

  Language:Python11407

• gap-packages/NautyTracesInterface

  Interface from GAP to Nauty

  Language:C65165

• frankluebeck/gapsync

  Language:Shell40

• gap-packages/agt

  Algebraic graph theory: A GAP package

  Language:GAP4791

• suliakos/gaussian_elimination

  Language:Python1