![:octocat: :octocat:](https://github.com/githubassets/images/icons/emoji/octocat.png)
Developing
Software Engineer.
Rust/JavaScript ❤️
-
Apple (@apple)
- Hyderabad, India
-
03:40
(UTC +05:30) - https://prateek.page
- https://orcid.org/0000-0003-2089-8463
- @prateekkumarweb
- @prateek@mastodon.online
- in/prateekkumarweb
- https://bsky.app/profile/prateek.page
Pinned Loading
-
sbjoshi/Open-WBO-Inc
sbjoshi/Open-WBO-Inc PublicAn incomplete MaxSAT solver for weighted MaxSAT problems
-
-
sukrutrao/Timetabler
sukrutrao/Timetabler PublicA customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
-
HugoBlox/hugo-blox-builder
HugoBlox/hugo-blox-builder Public🚨 GROW YOUR AUDIENCE WITH HUGOBLOX! 🚀 HugoBlox is an easy, fast no-code website builder for researchers, entrepreneurs, data scientists, and developers. Build stunning sites in minutes. 适合研究人员、企业家、…
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.