AlexiosX

AlexiosX's Stars

• CozumelDiver/stdf2map

  STDF to Wafer Bin Map utility written in Python

  Language:Python4016

• gibbed/SteamAchievementManager

  A manager for game achievements in Steam.

  Language:C#6.3k716

• inphs/IntelligentMonitor

  基于asp.net core 2.1 + echarts开发的大屏报表系统，简易权限管理，主题切换等等...

  Language:JavaScript79

• liukuo362573/YiShaAdmin

  基于 .NET Core MVC 的权限管理系统，代码易读易懂、界面简洁美观

  Language:C#2.5k903

• ranjithprabhuk/ng2-Dashboard

  Ng2-Dashboard is a web dashboard application based on Bootstrap and Angular 2. All components included in this dashboard template has been developed to bring all the potential of HTML5 and Bootstrap plus a set of new features ideal for your next dashboard admin theme or admin web app project. Angular Bootstrap Dashboard can be used in any type of web applications dashboard.

  Language:JavaScript3723

• mathnet/mathnet-numerics

  Math.NET Numerics

  Language:C#3.6k903

• yinxc/structural-information-minimisation

  Code of structural entropy minimisation for TAD identification of Hic matrix

  125

• mingw-w64/mingw-w64.github.io

  mingw-w64.net web page contents (The new web page)

  Language:CSS7061.9k

• skeeto/w64devkit

  Portable C and C++ Development Kit for x64 (and x86) Windows

  Language:C3.5k248

• sukrutrao/SAT-Solver-DPLL

  A simple SAT solver that implements the DPLL algorithm with unit resolution

  Language:C++4522

• acidicoala/SmokeAPI

  Legit DLC Unlocker for Steamworks

  Language:C++1.1k78

• matanki-saito/EU4dll

  Europa Universalis IV double byte language patch; master:1.34.2, dev:1.37.4.0

  Language:C++1.1k111

• valinet/ExplorerPatcher

  This project aims to enhance the working environment on Windows

  Language:C26.5k1.1k

• conp-solutions/mergesat

  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

  Language:C++413

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1.1k402

• tonquer/JMComic-qt

  禁漫天堂，18comic，使用qt实现的PC客户端，支持Windows，Linux，MacOS

  Language:Python2.5k131

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C5521

• meelgroup/duriansat

  A LSIDS-Power SAT solver

  Language:C++51

• arminbiere/kissat

  Language:C51790

• JLiangWaterloo/vsids

  Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"

  Language:C++52

• tonquer/picacg-qt

  哔咔漫画, PicACG comic PC client(Windows, Linux, MacOS)

  Language:Python4k191

• master-keying/minisat

  A minimalistic and high-performance SAT solver

  Language:C++14515