-
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. (by GaloisInc)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Weird that they'd put out a blog post when their docs <https://galoisinc.github.io/MATE/overview.html#status> say
> MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!
but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: https://github.com/GaloisInc/MATE/commits/main
Related posts
-
Show HN: Julep: A platform to manage memories, knowledge and tools for LLM apps
-
GPT-4o's Memory Breakthrough (Needle in a Needlestack)
-
Project Gameface: control mouse cursor using head movement and facial gestures
-
LVE Project: A Repository of Language Model Vulnerabilities and Exposures
-
Extracting Words from Scanned Books: A Step-by-Step Tutorial with Python, OpenCV