Ocaml Qbf Alternatives

OCaml bindings to QBF solver(s)
Alternatives To Ocaml Qbf
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Terminal95,947
2 days ago1November 20, 20221,530mitC++
The new Windows Terminal and the original Windows console host, all in the same place!
Windterm22,972
8 months ago1,447C
A professional cross-platform SSH/Sftp/Shell/Telnet/Serial terminal.
Docker Cheat Sheet21,261
2 years ago6cc-by-4.0
Docker Cheat Sheet
.tmux20,596
10 months ago46mit
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
Nnn17,722
10 months ago20July 26, 20225bsd-2-clauseC
n³ The unorthodox terminal file manager
Testssl.sh7,433
10 months ago241gpl-2.0Shell
Testing TLS/SSL encryption anywhere on any port
Smartdns7,433
10 months ago66gpl-3.0C
A local DNS server to obtain the fastest website IP for the best Internet experience, support DoT, DoH. 一个本地DNS服务器,获取最快的网站IP,获得最佳上网体验,支持DoH,DoT。
Nb6,104210 months ago304November 28, 2023111agpl-3.0Shell
CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.
Awesome Wsl5,497
5 months ago4other
Awesome list dedicated to Windows Subsystem for Linux
Gsudo4,213
a year ago17October 01, 202334mitC#
Sudo for Windows
Alternatives To Ocaml Qbf
Select To Compare


Alternative Project Comparisons
Popular Wsl Projects
Popular Compilers Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Ocaml
Wsl