stevenvar/sudocaml stevenvar/sudocaml

  • Stars
    star
    2
  • Language
    OCaml
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stevenvar/sudocaml
github

stevenvar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Sudoku solver written in OCaml (based on http://norvig.com/sudoku.html)

More Repositories

1

OMicroB

An OCaml generic virtual machine for microcontrollers
OCaml
136
star
2

OCaLustre

OCaml syntax extension for synchronous programming...
OCaml
31
star
3

bytecrawler

WCET computing of OCaml bytecode (for microcontrollers)
OCaml
3
star
4

EquivalenceChecking

Prototype for equivalence checking of two ML programs
OCaml
2
star