Modular Symbolic Logic for Agent Reasoning, SAT Solving, and LLM-Enhanced Proof Systems
☆22Sep 5, 2025Updated 6 months ago
Alternatives and similar repositories for agent-logic
Users that are interested in agent-logic are comparing it to the libraries listed below
Sorting:
- Polymarket-Kalshi arbitrage trading bot that exploits price inefficiencies between Kalshi and Polymarket. Kalshi Trading bot Polymarket t…☆105Updated this week
- polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot polymarket trading bot…☆193Feb 26, 2026Updated last week
- polymarket kalshi arbitrage bot polymarket arbitrage bot polymarket kalshi arbitrage bot polymarket arbitrage bot polymarket bot polymark…☆189Updated this week
- 🤖 Polymarket copytrading bot — automatically replicate top traders' predictions☆170Feb 26, 2026Updated last week
- Show Azure information☆14May 1, 2025Updated 10 months ago
- A warehouse for your malware☆136Nov 21, 2025Updated 3 months ago
- Go binding of gphoto2 for controlling cameras☆16Nov 7, 2014Updated 11 years ago
- JavaCard SIM card applet to configure a PDP Context with a correct APN via RUN AT proactive command☆22Oct 31, 2018Updated 7 years ago
- League Compatible Version of ENet☆13Mar 22, 2020Updated 5 years ago
- 支持多个Marker，或者markerless的特征识别与跟踪，支持多种相机标定方案，使用起来也比较简单。它还支持多个PC平台以及移动平台的编译和运行。☆11Nov 3, 2016Updated 9 years ago
- Simple python3 script to automate CVE-2018-9995☆11Feb 20, 2024Updated 2 years ago
- Foscam Plugin for HomeBridge (API 2.1): https://github.com/nfarina/homebridge☆42Sep 25, 2018Updated 7 years ago
- Sistem Informasi Manajemen Masjid dan Keuangan Masjid Menggunakan Framework Codeigniter fitur API jadwal Solat, berita masjid, kegiatan m…☆14Nov 1, 2022Updated 3 years ago
- Zerologon exploit with restore DC password automatically☆146Mar 15, 2024Updated last year
- Backup all your pins from Pinterest into Wordpress ! Own your data !☆11Jun 4, 2019Updated 6 years ago
- init☆14Mar 16, 2020Updated 5 years ago
- Graphical User Interface for remote monitoring and top-level control of UAVs.☆13Jul 31, 2025Updated 7 months ago
- Flutter SpannableGrid widget☆25Jul 31, 2023Updated 2 years ago
- simple use of the Korg NanoKontrol with supercollider☆18Feb 13, 2018Updated 8 years ago
- Camo is a VPN using HTTP/2 over TLS.☆15Mar 20, 2021Updated 4 years ago
- ☆232Jul 17, 2022Updated 3 years ago
- Plinky web interface☆11Jun 4, 2021Updated 4 years ago
- A small utility to fix data, preserving its types☆18Jan 8, 2025Updated last year
- A few python scripts to encode videos distributed over multiple machines☆16Mar 2, 2013Updated 13 years ago
- A simple app for playing trivia!☆12Feb 12, 2021Updated 5 years ago
- An editor for isometric objects☆26Mar 14, 2012Updated 13 years ago
- mp3 player, play while downloading. support set rate, and local cache. mp3播放器, 边下载边播放, 支持调速, 控制台操作.☆16Jul 29, 2019Updated 6 years ago
- An UPS made of old UPS and Arduino☆19Dec 18, 2022Updated 3 years ago
- CLI script/web API to show lunar phase information☆11May 8, 2023Updated 2 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆24Jan 5, 2026Updated 2 months ago
- 360/0Kee-Team/crawlergo动态爬虫结合长亭XRAY扫描器的被动扫描功能☆1,183Nov 10, 2021Updated 4 years ago
- Commodity tool to use nftables trace functionality☆14Apr 8, 2024Updated last year
- NTLM relay test.☆195Jun 26, 2025Updated 8 months ago
- The Android Messages App Clone in Flutter.☆21Apr 10, 2019Updated 6 years ago
- Form control for picking coordinates (for Nette Framework)☆23Jul 23, 2016Updated 9 years ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Feb 19, 2026Updated 2 weeks ago
- Polski Antyirytujący Dodatek Specjalny ukrywa i blokuje elementy RSS oraz resztki po ukrytych newsletterach złączonych z elementami społe…☆10Feb 28, 2026Updated last week
- Functional and flexible multimethods for Clojure. Nondestructive multimethod construction, CLOS-style aux methods and method combinations…☆318May 12, 2025Updated 9 months ago
- Unofficial implementation of ConvNeXt-TTS powered by lightning☆18Oct 20, 2024Updated last year