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
Sorting:
- 🔄 Flexible C memory allocation scheme☆78Updated 2 weeks ago
- rcor C compiler (under development)☆115Updated 7 years ago
- Cross Platform UNIX commands & System Calls☆121Updated 8 years ago
- A lightweight, embeddable scripting language☆150Updated 8 years ago
- fundamental tools in the spirit of C☆60Updated 5 years ago
- A small unit testing framework for C☆123Updated 7 years ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- Nanopipe: connecting the modern babel☆28Updated 8 years ago
- 👢 Cross platform dependency manager for developers☆38Updated 6 years ago
- Describe C function prototypes in JSON.☆24Updated 9 years ago
- 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
- C++14 high performance non-blocking network IO (based on epoll + boost.context)☆136Updated 6 years ago
- Giving a scene a depth-dependent shading, completely irregarding the scene complexity, in screen-space.☆46Updated 9 years ago
- C++ wrapper around stdio that overloads the call operator to output fields☆32Updated 8 years ago
- subset-of-C compiler targeting 32-bit x86☆115Updated 2 years ago
- ☆18Updated 7 years ago
- A small C library for matrix manipulation☆48Updated 7 years ago
- Wiki:☆27Updated 9 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- A minimalistic super mario 64 like 3d game engine written in C.☆9Updated 7 years ago
- Cross-platform C++ framework for asynchronous, distributed applications.☆31Updated last week
- C++11 Server framework provides many exciting features!☆52Updated 9 years ago
- A cross-platform immediate mode user-interface library. Public domain.☆34Updated 7 years ago
- An example of PEG usage☆55Updated 8 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- An implementation of the SubC language in Go☆163Updated 8 years ago
- C API for creation and analysis of binary data☆21Updated 7 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆86Updated 3 years ago