wadoon/st-mode

Stars
7
Rank 2,250,613 (Top 46 %)
Language
Emacs Lisp
License
MIT License
Created over 9 years ago
Updated over 6 years ago

wadoon/st-mode

wadoon

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An emacs mode for Structured Text (IEC61131-3)

cl-latex

common-lisp markup language for generating latex code

pydbusgen

python generation library for qdbus

UebAngKrypt

solution for angewandte kryptologie (ss11@fh-trier)

smvceviz

Visualize the Traces of NuSMV and NuXMV

feedcurses

little curses feed reader

simplelisp

an lisp interpreter written in python, created during as an learning project

glucose

The Glucose SAT Solver (CMake Edition)

php-microcontroller

a very simple controller for php applications

FPinTD

Algorithms for Forbidden Pattern detection in Transition Diagrams

stlviewer

MathExpr

parser of mathematical expression in java

smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs

RandomAccessMachine

Simulator and executor for a simple machine language.

antlr2sitter

Translation of ANTLR grammars to tree-sitter

GanttProcessPlotter

simulation of schedulers plotted in a gantt

ModelUtil

Automatic setModel/getModel for Java

InvokeWiki

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 line

keyserver-java

A simple key server implementation for the VerifyThis Long-term Challenge

LL-1--Generator

a little try to build a parser generator for LL(1)-Grammars

GraphOfTrust

generate a graph from keyserver's information

GaussModN

buchhalter

application for checking accounting learning excercises

pyKWallet

python library for using kwallet via dbus

mini-symex

Symbolic Execution Engine and Verification Condition Generator for While-Language and SMTlib

key-tools

Tools for the KeY Theorem Prover

sisql

website for allowing an easy interaction with databases

ipasir-d

IPASIR interface for Dlang

bin_quote_net

script/module for access the quote service from zitiate.net

jml-vscode

VS Code Extension for Support of Java Modelling Language

StruktogrammCreator

creates a nassi-sniderman-diagram from a pseudo language

TrAPAutomaton

deterministic finite automaton for benchmarking

QuadraticRemainderRoot

caluclating: x^2 = a \mod n

jml-mode

Java Modeling Language support for Emacs

pysfc

Sequential Function Charts for Python

HammingCodeApplet

an applet for generating hammingcodes

MINICMS

a very little php cms

pyTranslate

comand-line translator and python interface for translating services of google

ValueTable

build a value table for boolean algebra

iniedit

edit ini files interactively, in batch or within python

AFSP

pysyntax

Visualize the python ast

brainfuck

Java interpreter and compiler for brainfuck