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
- Cross Platform UNIX commands & System Calls☆120Updated 8 years ago
- 🔄 Flexible C memory allocation scheme☆77Updated last week
- 👢 Cross platform dependency manager for developers☆38Updated 6 years ago
- Describe C function prototypes in JSON.☆24Updated 9 years ago
- Toy virtual machine☆13Updated 9 years ago
- modserver is an HTTP/1.1 application server.☆43Updated 7 years ago
- Smooth open-source Tetris clone with a few surprises.☆15Updated 9 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- Giving a scene a depth-dependent shading, completely irregarding the scene complexity, in screen-space.☆46Updated 8 years ago
- C++11 Server framework provides many exciting features!☆52Updated 9 years ago
- Cross-platform C++ framework for asynchronous, distributed applications.☆31Updated last week
- C++ wrapper around stdio that overloads the call operator to output fields☆32Updated 8 years ago
- Ultra Tiny Compiler☆180Updated 5 years ago
- An example of PEG usage☆55Updated 8 years ago
- A dependency-based coroutine scheduler☆46Updated 8 years ago
- Nanopipe: connecting the modern babel☆28Updated 8 years ago
- a series of trie testing things☆21Updated 7 years ago
- collection of well commented socket programming code☆99Updated 8 years ago
- Benchmarks of the longest path problem in various languages☆154Updated 5 years ago
- Predictive Optimizing Code Loading☆62Updated 9 years ago
- ☆18Updated 7 years ago
- A micro library to create/view logs for your next POSIX thing.☆13Updated 5 years ago
- A lightweight, embeddable scripting language☆150Updated 7 years ago
- C language port of google-diff-match-patch library☆41Updated 8 years ago
- C++14 high performance non-blocking network IO (based on epoll + boost.context)☆135Updated 6 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- C API for creation and analysis of binary data☆21Updated 7 years ago
- Provide an idiomatic C++ interface to CPython's C API.☆27Updated 7 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- A small unit testing framework for C☆122Updated 7 years ago