• Stars
    star
    1
  • Language
    PHP
  • Created over 14 years ago
  • Updated over 14 years ago

Reviews

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

Repository Details

Invoke provides a wiki system. Every wiki page can rated in different categories on the background (tag) of the current user.

More Repositories

1

cl-latex

common-lisp markup language for generating latex code
Common Lisp
9
star
2

st-mode

An emacs mode for Structured Text (IEC61131-3)
Emacs Lisp
7
star
3

pydbusgen

python generation library for qdbus
Python
4
star
4

UebAngKrypt

solution for angewandte kryptologie (ss11@fh-trier)
Java
4
star
5

smvceviz

Visualize the Traces of NuSMV and NuXMV
Python
3
star
6

feedcurses

little curses feed reader
Python
2
star
7

glucose

The Glucose SAT Solver (CMake Edition)
C++
2
star
8

php-microcontroller

a very simple controller for php applications
PHP
2
star
9

simplelisp

an lisp interpreter written in python, created during as an learning project
Python
2
star
10

MathExpr

parser of mathematical expression in java
Java
1
star
11

FPinTD

Algorithms for Forbidden Pattern detection in Transition Diagrams
Clojure
1
star
12

stlviewer

Python
1
star
13

smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs
OCaml
1
star
14

antlr2sitter

Translation of ANTLR grammars to tree-sitter
Python
1
star
15

ModelUtil

Automatic setModel/getModel for Java
Java
1
star
16

RandomAccessMachine

Simulator and executor for a simple machine language.
Java
1
star
17

pytemplater

create new files from templates on the command line
Python
1
star
18

keyserver-java

A simple key server implementation for the VerifyThis Long-term Challenge
Java
1
star
19

LL-1--Generator

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

GanttProcessPlotter

simulation of schedulers plotted in a gantt
Java
1
star
21

GraphOfTrust

generate a graph from keyserver's information
Java
1
star
22

GaussModN

Java
1
star
23

buchhalter

application for checking accounting learning excercises
Python
1
star
24

pyKWallet

python library for using kwallet via dbus
Python
1
star
25

key-tools

Tools for the KeY Theorem Prover
JavaScript
1
star
26

sisql

website for allowing an easy interaction with databases
JavaScript
1
star
27

ipasir-d

IPASIR interface for Dlang
D
1
star
28

mini-symex

Symbolic Execution Engine and Verification Condition Generator for While-Language and SMTlib
Kotlin
1
star
29

bin_quote_net

script/module for access the quote service from zitiate.net
Python
1
star
30

jml-vscode

VS Code Extension for Support of Java Modelling Language
1
star
31

TrAPAutomaton

deterministic finite automaton for benchmarking
1
star
32

jml-mode

Java Modeling Language support for Emacs
Emacs Lisp
1
star
33

HammingCodeApplet

an applet for generating hammingcodes
Java
1
star
34

QuadraticRemainderRoot

caluclating: x^2 = a \mod n
Java
1
star
35

StruktogrammCreator

creates a nassi-sniderman-diagram from a pseudo language
Java
1
star
36

pysfc

Sequential Function Charts for Python
Python
1
star
37

MINICMS

a very little php cms
PHP
1
star
38

pyTranslate

comand-line translator and python interface for translating services of google
Python
1
star
39

ValueTable

build a value table for boolean algebra
Java
1
star
40

iniedit

edit ini files interactively, in batch or within python
Python
1
star
41

AFSP

Java
1
star
42

pysyntax

Visualize the python ast
Python
1
star
43

brainfuck

Java interpreter and compiler for brainfuck
Java
1
star