maximaximal

maximaximal's Stars

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.9k503531.3k

• CoatiSoftware/Sourcetrail

  Sourcetrail - free and open-source interactive source explorer

  Language:C++15.5k3121k1.5k

• wjakob/nanobind

  nanobind: tiny and efficient C++/Python bindings

  Language:C++2.7k46233220

• luajit-remake/luajit-remake

  An ongoing attempt to re-engineer LuaJIT from scratch

  Language:C++1.2k431733

• Shirakumo/trial

  A modular Common Lisp game engine

  Language:Common Lisp1.1k366250

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust62881012

• arminbiere/kissat

  Language:C518275390

• stohrendorf/CroftEngine

  An open-source Tomb Raider 1 engine remake

  Language:C++2921718817

• vgarciasc/mcts-viz

  Visualization of MCTS algorithm applied to Tic-tac-toe.

  Language:JavaScript2283212

• arminbiere/satch

  SAT Solver SATCH

  Language:C11315417

• flatwhatson/guix-channel

  Package definitions for GNU Guix

  Language:Scheme108102112

• domschrei/mallob

  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

  Language:C++6451216

• TheThief/CoroGB

  CoroGB is an experimental gameboy emulator written in C++ w/ coroutines

  Language:C++48200

• alexander-nadel/intel_sat_solver

  This repository contains the code of Intel(R) SAT Solver (IntelSAT)

  Language:C++28416

• vindarel/fuzzy-match

  Fuzzy match candidates from an input string.

  Language:Common Lisp23311

• vale1410/bule

  The SAT and QBF Programming Language Bule

  Language:OCaml226593

• nstagman/exact_cover_sudoku

  Exact Cover Sudoku Solver

  Language:C++15102

• df-map-archive/dfma-html5-map-viewer

  Home for development of a new HTML5 Map Viewer for Dwarf Fortress.

  Language:JavaScript107182

• johnrudge/xcover

  Exact cover with colours solver for python

  Language:Python6110

• SoftVarE-Group/BroT

  Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

  Language:HTML5200

• hgluka/omegavplinc

  Language:Java4100

• Ramblurr/df-map-compressor

  The original Dwarf Fortress Map Compressor

  Language:C#433

• CyberNord/CK3_LocalizationChanger

  Automatic translator for "Crusader Kings 3" localisation files

  Language:Python3201

• ltentrup/QAIGER

  AIGER format for Quantified Boolean Formulas

  3300

• maximaximal/booleguru

  A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.

  Language:Lua3100

• maximaximal/DFMapCompressorPP

  A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress

  Language:C3300

• miniexact/miniexact

  A simple and hackable exact cover solver inspired by Donald Knuth's Fascicle 5

  Language:C3010

• JacobRBlomquist/DFMA-Viewer-HTML5

  A parser and viewer for https://mkv25.net/dfma/ It is live at https://blomquist.xyz/dfma

  Language:JavaScript2101

• oeh-tnf/StV-Informatik-AI-Discord-Bot

  Language:Python2505

• PhoenixSmaug/sudoku

  Implementation of different Exact Cover Solvers and a benchmark with Sudokus.

  Language:Julia1100