Our great sponsors
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- SaaSHub - Software Alternatives and Reviews
-
I've worked on percival a bit, it compiles (transpiles?) the datalog ast into javascript code on demand and executes it to get the results, see [1]. Percival's creator, Eric, also submitted a 10m presentation about the project [2] to the HYTRADBOI 'virtual conference' earlier this year [2]. They also submitted a Show HN that received a couple comments [3]. The Have You Tried Rubbing A Database On It conference included several awesome presentations featuring datalog, which readers may find interesting [4].
[1]: https://github.com/ekzhang/percival/blob/main/crates/perciva...
[2]: https://www.hytradboi.com/2022/percival-a-reactive-language-...
-
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
-
https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan
Related posts
- Discover vulnerabilities across a codebase with semantic code analysis engine
- GitHub introduces CodeQL, a new tool for automated code review and vulnerability
- GitHub introduces CodeQL, a new tool for automated code review and vulnerability
- Blizzard has announced that the quest log cap will be increased to 35, after many years of staying capped at 25. Happy questing!
- How to see if your JavaScript code is vulnerable