Discover @kentnek Open Source projects

Kent (@kentnek)

kentnek

Stars
5
Global Rank 1,435,387 (Top 50 %)
Followers 4
Registered over 10 years ago
Most used languages

Java
50.0 %

Elm
50.0 %
Location 🇸🇬 Singapore
Country Total Rank 5,223
Country Ranking

Elm
13

Java
575

cdcl-sat-solver

A CDCL SAT solver implemented in Java.

elm-server-raspi

A demo of an Internet-of-Things application, where both the frontend and backend are written in Elm.