Giters
maul.esel (maul-esel)

maul-esel

Geek Repo

48

followers

15

following

13

stars

Location:Germany / BW

Github PK Tool:Github PK Tool

Organizations
Library-Distribution

maul.esel's repositories

ahkbook

a free online book about AutoHotkey!

Language:HTMLLicense:NOASSERTIONStargazers:39Issues:12Issues:9

FormsFramework

majkinetor's Forms Framework with some minor fixes

Language:AutoHotkeyStargazers:15Issues:5Issues:3

ImportTypeLib

Language:AutoHotkeyStargazers:10Issues:6Issues:14

AHK-Util-Funcs

some small functions which could be handy for AHKlers

Language:AutoHotkeyStargazers:6Issues:3Issues:0

AHK-presentation

a private project for a presentation about AutoHotkey

Language:AutoHotkeyStargazers:3Issues:3Issues:0

CGUI

An object-oriented GUI library for AutoHotkey

Language:AutoHotkeyStargazers:3Issues:2Issues:0

feed-ticker

prototype of a new version of the no longer functioning RSS Ticker plugin for firefox

Language:CoffeeScriptLicense:MITStargazers:2Issues:3Issues:12

ChameleonCoder

coding project manager and IDE - language-independant

Language:C#License:GPL-3.0Stargazers:1Issues:3Issues:31

CobaltAHK

just for fun incomplete implementation of AHK on the DLR

Language:C#License:MITStargazers:1Issues:3Issues:2

GenealogySharp

Language:C#Stargazers:1Issues:2Issues:0

IronAHK

Cross platform .NET rewrite of the popular AutoHotkey scripting language for desktop automation.

Language:C#License:BSD-2-ClauseStargazers:1Issues:2Issues:0

linq2db

Linq to database provider.

Language:C#License:MITStargazers:1Issues:2Issues:0

maul-esel.github.io

my github homepage

Language:HTMLStargazers:1Issues:0Issues:0

swt-projekt

Language:HTMLLicense:MITStargazers:1Issues:0Issues:0

VisualToolkit

Language:C#Stargazers:1Issues:2Issues:0

ahk_library

Language:AutoHotkeyLicense:NOASSERTIONStargazers:0Issues:2Issues:0

AHKModule

the AutoHotkey language module for ChameleonCoder

Language:C#Stargazers:0Issues:2Issues:1

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:2Issues:0

EasyBind

Custom JavaFX bindings made easy with lambdas.

Language:JavaLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

GuidCreator

a service for ChameleonCoder, creating GUIDs

Language:C#Stargazers:0Issues:2Issues:0

jekyll

Jekyll is a blog-aware, static site generator in Ruby

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

jekyll-last-modified-at

A Jekyll plugin to show the last_modified_at time of a post.

Language:RubyLicense:MITStargazers:0Issues:0Issues:0

linear.algebra.matrix

Language:XtendStargazers:0Issues:2Issues:47

md-pdf-toolkit

a small personal toolkit for converting markdown to pdf

Language:CSSStargazers:0Issues:2Issues:0

personal-website

Language:SCSSStargazers:0Issues:1Issues:0

rapanui

An interactive proof assistant for relational algebra

Language:JavaLicense:MITStargazers:0Issues:2Issues:50

SLN-2-CCR-Converter

a service plugin for ChameleonCoder for converting *.sln, *.csproj*, ... files into *.ccr files

Language:C#Stargazers:0Issues:0Issues:0

ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

Language:C#License:MITStargazers:0Issues:3Issues:39

sv-witnesses

An Exchange Format for Verification Witnesses

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

xcore-gradle-example

Example project for https://www.eclipse.org/forums/index.php/m/1716728

Stargazers:0Issues:2Issues:0