mkhu

mkhu's Stars

• jrsoftware/issrc

  Inno Setup is a free installer for Windows programs. First introduced in 1997, Inno Setup today rivals and even surpasses many commercial installers in feature set and stability.

  Language:Pascal4.2k913

• vurtun/nuklear

  A single-header ANSI C gui library

  Language:C13.7k1.1k

• google/volley

  Language:Java3.4k754

• codepath/android_guides

  Extensive Open-Source Guides for Android Developers

  28.3k6.4k

• UniMath/TypeTheory

  The mathematical study of type theories, in univalent foundations

  Language:Coq11321

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq954174

• tpope/vim-pathogen

  pathogen.vim: manage your runtimepath

  Language:Vim Script12.1k1.2k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k984

• getpelican/pelican

  Static site generator that supports Markdown and reST syntax. Powered by Python.

  Language:Python12.5k1.8k

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.5k3k

• microsoft/Win2D

  Win2D is an easy-to-use Windows Runtime API for immediate mode 2D graphics rendering with GPU acceleration. It is available to C#, C++ and VB developers writing apps for the Windows Universal Platform (UWP). It utilizes the power of Direct2D, and integrates seamlessly with XAML and CoreWindow.

  Language:C++1.8k284

• rover12421/JetbrainsPatchKeygen

  JetbrainsPatchKeygen

  Language:Java41916

• XX-net/XX-Net

  A proxy tool to bypass GFW.

  Language:Python33k7.7k

• giucam/termistor

  A drop-down terminal for Wayland

  Language:C172

• raspberrypi/maynard

  Desktop environment for Wayland

  Language:C33746

• Cloudef/wlc

  High-level Wayland compositor library

  Language:C33058

• udevbe/wayland-java-bindings

  The Wayland [protocol] Java [language] Bindings

  Language:Java151

• Cloudef/orbment

  Modular Wayland compositor

  Language:C24716

• waysome/waysome

  Windowmanager for wayland

  Language:C909

• kframework/k-legacy

  The K tools (deprecated, see README)

  Language:Java14661

• lua/lua

  A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

  Language:C8.4k1.6k

• lunarmodules/luasocket

  Network support for the Lua language

  Language:HTML1.8k628

• LuaDist/luajit

  LuaJIT is JIT compiler for the Lua language.

  Language:C567105

• gamesys/moonshine

  A lightweight Lua VM for the browser

  Language:Lua50135

• luarocks/luarocks

  LuaRocks is the package manager for the Lua programming language.

  Language:Lua3.3k428

• lunarmodules/busted

  Elegant Lua unit testing.

  Language:Lua1.4k186

• LewisJEllis/awesome-lua

  A curated list of quality Lua packages and resources.

  3.9k316

• terralang/terra

  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

  Language:C++2.7k198

• SMLFamily/SMLFamily.github.io

  Web site for standardml.org.

  Language:HTML366

• eliben/llvm-clang-samples

  UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

  Language:C++1.2k225