SaaSHub helps you find the best software and product alternatives Learn more →
Smart Alternatives
Similar projects and alternatives to smart
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
smart reviews and mentions
-
CBMC: C bounded model checker. (2021)
Not fun, a serious tool, and extremely easy to use, unlike other formal methods. It works with your source code, not on some rewritten abstraction of it.
Embedded, automotive, space use it regularly.
I've setup cbmc and goto-analyzer for string searching algos here https://github.com/rurban/smart and really found some bugs in old published algos.
-
Show HN: Comprehensive inter-process communication (IPC) toolkit in modern C++
I wrote some shm API wrappers here: https://github.com/rurban/smart/blob/new/source/algos/includ...
Never use /dev/shm directly unless Linux only.
-
You've just inherited a legacy C++ codebase, now what?
Check all the linter warnings.
Add a CI. Starting with Linux, Windows mingw, macos and aarch64. Turns out the code is Linux x64 only, ha. Make it compat with sse checks, windows quirks.
Waiting for GH actions suck, write Dockerfiles and qemu drivers into your makefile. Maybe automake would have been a better idea after all. Or even proper autoconf.
Find the missing algorithms described elsewhere. Add them. Check their limitations.
Reproducible builds? Not for this one, sorry. This is luxury. Rather check clang-tidy, and add fuzzing.
https://github.com/rurban/smart
-
A note from our sponsor - SaaSHub
www.saashub.com | 5 May 2024
Stats
rurban/smart is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of smart is JavaScript.
Sponsored