☆12Feb 27, 2026Updated last week
Alternatives and similar repositories for ant
Users that are interested in ant are comparing it to the libraries listed below
Sorting:
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 27, 2026Updated last week
- ☆11Apr 10, 2024Updated last year
- A modern functional programming language with effect system.☆19Apr 21, 2024Updated last year
- This repository contains the resources and exercises for you when joining our team.☆27Jul 28, 2025Updated 7 months ago
- 一个用于翻译ERA游戏的翻译工具☆12May 21, 2023Updated 2 years ago
- ntype cafe summer school resources☆146Jun 16, 2024Updated last year
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated last month
- ☆14Mar 25, 2023Updated 2 years ago
- ValTown MCP Server - Execute ValTown functions from AI assistants☆15Aug 12, 2025Updated 6 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- 托碼頭點陣字體表情包／托码头点阵字体表情包／Tomato Pixel Emoji☆12Nov 19, 2025Updated 3 months ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- Digital oscilloscope based on stm32☆11Jan 9, 2023Updated 3 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- A REST-capable, never-blocking HTTP client package that supports HTTPS, keepalive, deflate, chunked encoding for Tcl, NaviServer or AOLse…☆12Dec 15, 2025Updated 2 months ago
- ☆10May 1, 2021Updated 4 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 3 weeks ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- A speedy, flexible router for Rust.☆13Feb 25, 2026Updated last week
- Mac OS OSAKit adapted for Rust☆15Mar 1, 2025Updated last year
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A simple resume template written in LaTeX with docker☆10Feb 6, 2023Updated 3 years ago
- a sharable language☆15Jan 20, 2025Updated last year
- Unix native interface to LLMs☆12Oct 16, 2025Updated 4 months ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- 反人类卡牌游戏 Reborn Reborn 的卡组 - 人人都可编辑的卡组☆10Aug 23, 2019Updated 6 years ago
- An openai wrapper for Common Lisp☆14Aug 12, 2024Updated last year
- DUTMed 是一款基于Neo4j 知识图谱与通义千问大模型构建的多模态医学人工智能助手。 它支持对复杂医学关系进行单跳/多跳推理，生成精准、可解释的答案；同时，它还能对上传的医学影像进行智能分割与专业描述，将视觉信息转化为结构化临床洞察，实现 图文协同的智能诊疗辅助。☆32Feb 21, 2026Updated last week
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- Access underlying NSView instances — inline with your SwiftUI views.☆12Jun 17, 2023Updated 2 years ago
- blog with go☆11Jul 5, 2023Updated 2 years ago
- Rust crates to read and use Octopus MDict Dictionary.☆11Aug 27, 2020Updated 5 years ago
- High performance JSON middleware for Swift projects☆13Sep 27, 2025Updated 5 months ago