There are no reviews yet. Be the first to send feedback to the community and the maintainers!
cl-latex
common-lisp markup language for generating latex codest-mode
An emacs mode for Structured Text (IEC61131-3)pydbusgen
python generation library for qdbusUebAngKrypt
solution for angewandte kryptologie (ss11@fh-trier)smvceviz
Visualize the Traces of NuSMV and NuXMVfeedcurses
little curses feed readersimplelisp
an lisp interpreter written in python, created during as an learning projectglucose
The Glucose SAT Solver (CMake Edition)php-microcontroller
a very simple controller for php applicationsFPinTD
Algorithms for Forbidden Pattern detection in Transition Diagramsstlviewer
MathExpr
parser of mathematical expression in javasmt2key
Translates SMT-lib files to KeY (Theorem Prover) inputsRandomAccessMachine
Simulator and executor for a simple machine language.antlr2sitter
Translation of ANTLR grammars to tree-sitterGanttProcessPlotter
simulation of schedulers plotted in a ganttModelUtil
Automatic setModel/getModel for JavaInvokeWiki
Invoke provides a wiki system. Every wiki page can rated in different categories on the background (tag) of the current user.pytemplater
create new files from templates on the command linekeyserver-java
A simple key server implementation for the VerifyThis Long-term ChallengeLL-1--Generator
a little try to build a parser generator for LL(1)-GrammarsGraphOfTrust
generate a graph from keyserver's informationGaussModN
buchhalter
application for checking accounting learning excercisespyKWallet
python library for using kwallet via dbusmini-symex
Symbolic Execution Engine and Verification Condition Generator for While-Language and SMTlibkey-tools
Tools for the KeY Theorem Proversisql
website for allowing an easy interaction with databasesipasir-d
IPASIR interface for Dlangbin_quote_net
script/module for access the quote service from zitiate.netjml-vscode
VS Code Extension for Support of Java Modelling LanguageStruktogrammCreator
creates a nassi-sniderman-diagram from a pseudo languageTrAPAutomaton
deterministic finite automaton for benchmarkingQuadraticRemainderRoot
caluclating: x^2 = a \mod njml-mode
Java Modeling Language support for Emacspysfc
Sequential Function Charts for PythonHammingCodeApplet
an applet for generating hammingcodesMINICMS
a very little php cmspyTranslate
comand-line translator and python interface for translating services of googleValueTable
build a value table for boolean algebraAFSP
pysyntax
Visualize the python astbrainfuck
Java interpreter and compiler for brainfuckLove Open Source and this site? Check out how you can help us