wadoon Goto Github PK

key-ssg-test

Test KeY webpage static site generator

key-tacletdoc

key-tools

Tools for the KeY Theorem Prover

keyserver-java

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

klojery

Key+Clojure = KlojErY

knn-viz

Visualization of kNN-Classificator

language-kps

lecture-viewer

A prototype for viewing lectures in customizable side-by-side view

leo.el

dict.leo.org for emacs

ll-1--generator

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

mathexpr

parser of mathematical expression in java

melpa

Recipes and build machinery for the biggest Emacs package repo

mima-symbex

Symbolical Execution for MiniMal Assembler

mini-symex

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

miniboole

minicms

a very little php cms

mixfix-parser

A reusable mixfix parser for Java/Kotlin WIP

modelutil

Automatic setModel/getModel for Java

monopolpy

simulation of monopoly in python

msml-test-project

multimedia-textsearch

University project, lecture Text Indexing. The idea is to search within audio/video for keywords by building an inverted index beforehand.

multisnake

A multiplayer variant of snake in Go

musiclib

nn-web

k nearest neighbour

openjml

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

pbl

A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php

php-microcontroller

a very simple controller for php applications

phpbibparser

A LL(k) parser for Bibtex Bibliographies

poordi

A poor man's dependency injection.

prelude

Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.