Skip to content
View maul-esel's full-sized avatar
50 followers · 15 following
  • Germany / BW

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

  • Pro

Organizations

@Library-Distribution

Block or report maul-esel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • personal-website Public

    SCSS Updated Oct 22, 2024

  • ahkbook Public

    a free online book about AutoHotkey!

    HTML 40 22 Other Updated Apr 21, 2023

  • jekyll-last-modified-at Public

    Forked from gjtorikian/jekyll-last-modified-at

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

    Ruby MIT License Updated Apr 15, 2023

  • maul-esel.github.io Public

    my github homepage

    HTML 1 Updated Mar 22, 2023

  • sv-witnesses Public

    Forked from sosy-lab/sv-witnesses

    An Exchange Format for Verification Witnesses

    Python Apache License 2.0 Updated Dec 2, 2020

  • boolector Public

    Forked from Boolector/boolector

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

    SMT Other Updated Jan 10, 2019

  • ssharp Public

    Forked from isse-augsburg/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 .…

    C# 1 MIT License Updated Dec 5, 2017

  • swt-projekt Public

    HTML 1 1 MIT License Updated Feb 23, 2017

  • linq2db Public

    Forked from linq2db/linq2db

    Linq to database provider.

    C# 1 MIT License Updated Jan 15, 2017

  • feed-ticker Public

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

    CoffeeScript 2 MIT License Updated Apr 9, 2016

  • rapanui Public

    An interactive proof assistant for relational algebra

    Java MIT License Updated Apr 9, 2016

  • EasyBind Public

    Forked from TomasMikula/EasyBind

    Custom JavaFX bindings made easy with lambdas.

    Java BSD 2-Clause "Simplified" License Updated Apr 6, 2016

  • xcore-gradle-example Public

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

    Updated Dec 8, 2015

  • VisualToolkit Public

    C# 1 Updated Oct 13, 2014

  • GenealogySharp Public

    C# 1 Updated Oct 4, 2014

  • linear.algebra.matrix Public

    Xtend Updated Aug 15, 2014

  • md-pdf-toolkit Public

    a small personal toolkit for converting markdown to pdf

    CSS Updated Apr 15, 2014

  • jekyll Public

    Forked from jekyll/jekyll

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

    Ruby MIT License Updated Apr 15, 2014

  • CobaltAHK Public

    just for fun incomplete implementation of AHK on the DLR

    C# 1 MIT License Updated Nov 19, 2013

  • IronAHK Public

    Forked from Paris/IronAHK

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

    C# 1 BSD 2-Clause "Simplified" License Updated Nov 19, 2013

  • AHK-presentation Public

    a private project for a presentation about AutoHotkey

    AutoHotkey 3 1 Updated Jan 14, 2013

  • CGUI Public

    Forked from ChrisS85/CGUI

    An object-oriented GUI library for AutoHotkey

    AutoHotkey 3 Updated Jan 3, 2013

  • ahk_library Public

    Forked from lordkrandel/ahk_library
    AutoHotkey Other Updated Oct 5, 2012

  • AHK-Util-Funcs Public

    some small functions which could be handy for AHKlers

    AutoHotkey 6 3 Updated Aug 29, 2012

  • FormsFramework Public

    majkinetor's Forms Framework with some minor fixes

    AutoHotkey 15 10 Updated Jun 19, 2012

  • ChameleonCoder Public

    coding project manager and IDE - language-independant

    C# 1 GNU General Public License v3.0 Updated May 3, 2012

  • SLN-2-CCR-Converter Public

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

    C# Updated May 3, 2012

  • GuidCreator Public

    a service for ChameleonCoder, creating GUIDs

    C# Updated May 3, 2012

  • AHKModule Public

    the AutoHotkey language module for ChameleonCoder

    C# Updated May 3, 2012

  • ImportTypeLib Public

    AutoHotkey 10 1 Updated Apr 5, 2012