lakshayg / sudoku
Solving sudoku as a SAT problem
☆22Updated 5 years ago
Alternatives and similar repositories for sudoku:
Users that are interested in sudoku are comparing it to the libraries listed below
- 🔄 Flexible C memory allocation scheme☆78Updated 3 months ago
- Toy virtual machine☆13Updated 10 years ago
- Cross-platform C++ framework for asynchronous, distributed applications.☆31Updated this week
- modserver is an HTTP/1.1 application server.☆44Updated 7 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- A lightweight, embeddable scripting language☆150Updated 8 years ago
- Cross Platform UNIX commands & System Calls☆120Updated 8 years ago
- fundamental tools in the spirit of C☆60Updated 5 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- Describe C function prototypes in JSON.☆24Updated 9 years ago
- Cool trick to store 4 5-bit values in one 16-bit value.☆284Updated 4 years ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- C API for creation and analysis of binary data☆21Updated 7 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- Simple command-line based calculator.☆57Updated 5 years ago
- An Open Source C++ Opengl engine utilizing the capabilities of Box2D.☆15Updated 9 years ago
- An example of PEG usage☆55Updated 8 years ago
- C language port of google-diff-match-patch library☆41Updated 8 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- A small unit testing framework for C☆123Updated 7 years ago
- Haptic Collision Detection on Highly Complex Medical Data Structures☆45Updated 7 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- pentomino puzzle☆17Updated 9 years ago
- A bash-like shell that performs basic functions of a shell. Made as a project for my course of System Software.☆60Updated 4 years ago
- 👢 Cross platform dependency manager for developers☆38Updated 6 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- A HTML5 2D game engine written in CoffeeScript☆30Updated 9 years ago
- C++ wrapper around stdio that overloads the call operator to output fields☆32Updated 8 years ago
- Example of CPU simulation in software☆158Updated 9 years ago
- KISS Integrated Development Environment☆65Updated 8 years ago