jcrodriguez-dis / vpl-jail-system
Execution/jail server for VPL
☆22Updated last week
Alternatives and similar repositories for vpl-jail-system:
Users that are interested in vpl-jail-system are comparing it to the libraries listed below
- Virtual Programming Lab for Moodle (Module)☆105Updated last week
- Convert markdown to moodle xml, So that you can enjoy life rather than doing copy-pasting like mere muggles☆13Updated last year
- CodeRunner: A moodle quiz question type that runs student-submitted program code in a sandbox to check if it satisfies a given set of tes…☆217Updated 2 weeks ago
- A Dockerfile for building the official Overleaf Community Edition docker image☆177Updated 5 years ago
- acronyms for LaTeX☆41Updated last year
- arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…☆405Updated 3 months ago
- Pandoc filter to convert unicode emoji characters into images. This filter specifically targets the conversion from Markdown to PDF at th…☆34Updated 2 years ago
- A package for converting and rendering markdown documents in TeX☆340Updated this week
- DFTCalc: A Dynamic Fault Tree calculator for reliability and availability☆13Updated 4 months ago
- Install script for TeX Live on Ubuntu☆539Updated last month
- Spelling, grammar and style checking on LaTeX documents☆961Updated 2 months ago
- An include filter for Pandoc☆62Updated 4 years ago
- LaTeX development container for Visual Studio Code Remote Containers Development☆202Updated last year
- Web Based Reference Manager☆22Updated 4 years ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- latex class for TU Delft posters☆13Updated 7 years ago
- Your bibliography on the command line☆271Updated 9 months ago
- Create beautiful and semantically meaningful articles with pandoc.☆482Updated 2 years ago
- Converts LaTeX documents to HTML☆279Updated 2 months ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆171Updated 3 months ago
- A vector drawing editor for LaTeX (JavaFX).☆436Updated 4 years ago
- UML diagrams for LaTeX/MetaPost☆125Updated last year
- A comprehensive (SI) units package for LaTeX☆370Updated last week
- Pandoc Markdown Lecture Template: This project defines a skeleton repo for creating lecture slides and handouts including lecture notes o…☆101Updated last week
- Low level OpenFlow messages parser used by Kytos SDN Platform☆46Updated 2 years ago
- 🍺 Homebrew formula for auto-multiple-choice 📖☆36Updated 2 years ago
- Command-line tool to manage bibliography (pdfs + bibtex)☆148Updated 2 weeks ago
- Moodle authentication plugin which provides all functionality of auth_ldap, but supports advanced features for the LDAP synchronization t…☆10Updated this week
- ☆12Updated 3 years ago
- A python script for checking BibLatex .bib files for common referencing mistakes!☆177Updated last year