☆190Feb 3, 2026Updated last month
Alternatives and similar repositories for clawdbot-formal-models
Users that are interested in clawdbot-formal-models are comparing it to the libraries listed below
Sorting:
- Compass integration with source code management tool GitLab.☆18Mar 10, 2026Updated last week
- LLM evaluations on various financial research tasks☆37Aug 4, 2025Updated 7 months ago
- OIDC identity provider for digital identity☆26Jan 13, 2026Updated 2 months ago
- Visualize your CRITs IOC's in Maltego☆12Jan 13, 2015Updated 11 years ago
- ☆20Jun 13, 2022Updated 3 years ago
- Local Maltego Transforms for crt.sh☆12Sep 8, 2017Updated 8 years ago
- set of entities for Maltego including common STIX objects and several flavors of kill chain.☆11May 6, 2015Updated 10 years ago
- Python script that gets IOC from MISP and converts it into BRO intel files.☆13Apr 17, 2016Updated 9 years ago
- Splunk app to support presentation at .conf2015 on free security tools and Splunk☆10Sep 24, 2015Updated 10 years ago
- tablefaker is a versatile Python package that enables effortless generation of realistic yet synthetic table data and save in CSV, Parque…☆14Mar 12, 2026Updated last week
- Deterministic security layer for Openclaw(Clawdbot), Cursor and Claude Code. Write secure code, prevent data exfil, and more☆44Feb 5, 2026Updated last month
- Terraform to configure an AWS account for the storage of many separate CloudTrails in S3☆14Apr 27, 2018Updated 7 years ago
- Example app with GUN and Next.js☆30Mar 8, 2026Updated last week
- To host the Docker Compose files for the blog on homelab.casaursus.net☆18Updated this week
- Moleculer metrics service for Sentry (https://sentry.io/)☆11Jan 21, 2026Updated last month
- ☆12Nov 16, 2020Updated 5 years ago
- Blue/Green deployment with AWS Developer tools on Amazon EC2 using Amazon EFS to host application source code☆11Jul 27, 2021Updated 4 years ago
- High TPS Solana client powered by Rakurai.☆13Sep 27, 2024Updated last year
- OSD Lyrics是受lrcdis的启发而开发的一款第三方歌词显示程序，它为Linux下的多款播放器提供类似Windows下QQ音乐的歌词显示功能，并能自动从网络上下载歌词。 =播放器支持= OSD Lyrics是独立程序，通过播放器提供的接口对播放器进行支持。目前O…☆14Nov 3, 2010Updated 15 years ago
- Examples of how Bare makes running Javascript everywhere easy.☆12Mar 31, 2025Updated 11 months ago
- ☆15Apr 21, 2022Updated 3 years ago
- DRIA (Deep Research and Intelligence Agent) is a fully local voice assistant that can hold real-time conversations while performing deep …☆22Apr 14, 2025Updated 11 months ago
- Comprehensive benchmarks and evaluations of Large Language Models (LLMs) with a focus on hardware usage, generation speed, and memory req…☆12Aug 31, 2023Updated 2 years ago
- ☆15Jun 12, 2022Updated 3 years ago
- ☆11Feb 28, 2022Updated 4 years ago
- One-click setup for pi-coding-agent with ant colony swarm. Like oh-my-zsh for pi.☆45Mar 2, 2026Updated 2 weeks ago
- ☆13Aug 13, 2025Updated 7 months ago
- DX Backstage Frontend Plugin☆11Feb 12, 2026Updated last month
- Test project used for integration testing.☆11Jun 27, 2024Updated last year
- Helper functions for the visjs family☆15Updated this week
- Extract information from MISP via the API☆16Jul 18, 2016Updated 9 years ago
- DEPRECATED: This twig plugin for the Craft CMS brings convenient path & url manipulation functions & filters to your Twig templates.☆11Oct 15, 2024Updated last year
- Repository for KCNA exam prep and book☆16Apr 3, 2022Updated 3 years ago
- A Postgres interface into any database☆16Mar 29, 2024Updated last year
- Eva the AI assistant☆10Sep 27, 2025Updated 5 months ago
- Datasette plugin that adds a .atom output format☆14Nov 2, 2025Updated 4 months ago
- Automated PAN Firewall Custom URL Category using Python and PAN API☆14Dec 16, 2015Updated 10 years ago
- VERYPWA is a boilerplate application using Quasar Framework as frontend and Strapi as backend☆14Jan 11, 2023Updated 3 years ago
- Automatically sync Google Calendar entries as Habitica To Do items.☆10May 31, 2022Updated 3 years ago