loudcraw / ut
Yet Another Efficient Unification Algorithm logic-programming, prolog, unification, unification-algorithm
☆30Updated last week
Alternatives and similar repositories for ut:
Users that are interested in ut are comparing it to the libraries listed below
- CLI app to download YouTube Shorts & Videos! terminal-based, terminal-ui, terminal-user-interface, youtube-downloader☆32Updated last week
- A realtime http audio streaming server☆31Updated 3 weeks ago
- Golang HTTP Rate Limit middleware☆31Updated last week
- Traefik Middleware Plugin for Dynamic JWT Validation traefik-plugin☆31Updated last week
- ✍️ A simple text-on-image writing package for Go☆30Updated last week
- A Go port of the lemon parser generator☆31Updated last week
- Meshery Adapter for Cilium Service Mesh cilium, cilium-service-mesh, cncf, hacktoberfest, kubernetes, meshery☆32Updated this week
- gitobj reads and writes Git objects.☆31Updated last week
- Go client for interacting with spv-wallet bsv, bux, spv-wallet, spv-wallet-client, spv-wallet-team, utxo, xpub☆32Updated last week
- Opentelemetry for Hertz☆30Updated last week
- A Minecraft Bedrock tool for decrypting, encrypting, and stealing resource packs☆32Updated last week
- Shared utility code for Dapr runtime☆32Updated last week
- A serverless bot which periodically checks configured BigQuery capacity commitments, reservations and assignments against actual slot con…☆31Updated last week
- This tool lets you interact with Application Integration, Integration Connectors or Apigee Integration/Connector APIs. The tool lets you…☆31Updated last week
- Golang DHCPv4 client library☆31Updated last week
- ↬ The retro Golang ORM. database, mysql, orm, postgresql, sql☆31Updated last week
- Toolkit for authentication and authorization in Go services authentication, authorization, jwks, jwt, oauth2, openid-connect, toolkit☆33Updated this week
- Helm KCL Plugin☆30Updated last week
- TinyGo Keeb Tour の workshop 用のリポジトリ☆32Updated this week
- The Porter Operator gives you a native, integrated experience for managing your bundles from Kubernetes. It is the recommended way to aut…☆31Updated last week
- Use your Mikrotik firewall to do fail2ban like blocking of unwanted IPs. Written in Go firewall, golang-application, mikrotik☆32Updated this week
- Tongyi Qwen Aliyun Dashscope API Golang implementation, non-official dashscope-sdk, qwen-api, tongyi☆31Updated last week
- Collection of reusable, useful code for magefiles☆32Updated last week
- A collection of highly customisable loading bars for Go CLI apps.☆30Updated last week
- tbls-ask is an external subcommand of tbls for asking LLM of the datasource. openai☆30Updated last week
- Common Use Case Validators for terraform-plugin-framework☆33Updated this week
- Command Line Interface to work with Deckhouse Kubernetes Platform☆32Updated last week
- Crossplane composition function to define sequencing rules delaying the creation of resources until other resources are ready.☆31Updated last week
- A cool open-source project☆31Updated last week
- Library for generating a Mastercard API compliant OAuth signature. mastercard, oauth1, oauth1a, openapi☆32Updated last week
- gin_router_web 是学习gin 使用的项目，主要包括路由定义、 请求参数的绑定、响应的封装和文件上传（包括大文件分片上传）等 ajax, chunk, file, gin, post, upload☆31Updated last week