☆23Mar 31, 2025Updated 11 months ago
Alternatives and similar repositories for prolog_mcp
Users that are interested in prolog_mcp are comparing it to the libraries listed below
Sorting:
- A Model Context Protocol server for interacting with Babashka, a native Clojure interpreter for scripting☆17Jan 5, 2025Updated last year
- Simple MCP-UI widgets for common use cases.☆50Aug 26, 2025Updated 6 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 3 months ago
- ☆50Feb 24, 2026Updated last week
- ☆40May 26, 2023Updated 2 years ago
- ValTown MCP Server - Execute ValTown functions from AI assistants☆15Aug 12, 2025Updated 6 months ago
- I saw this [Blog Post](https://www.morling.dev/blog/one-billion-row-challenge/) on a Billion Row challenge for Java so naturally I tried …☆14Jan 10, 2024Updated 2 years ago
- ☆13Mar 17, 2023Updated 2 years ago
- ☆16Jul 17, 2025Updated 7 months ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- "Dissecting cell-type composition and activity-dependent transcriptional state in mammalian brains by massively parallel single-nucleus R…☆13Jan 7, 2018Updated 8 years ago
- SUmmarizing Multiple Enrichment analysis Results☆10Nov 14, 2024Updated last year
- ☆22Jan 15, 2026Updated last month
- Flutter + WebAssembly Example☆12Mar 3, 2020Updated 6 years ago
- Commodore VIC20 core for the Tang Nano 9K FPGA with LCD Output☆12Feb 16, 2025Updated last year
- Gen AI Canvas using Convex and Solid☆15Oct 2, 2025Updated 5 months ago
- Rejection-minimal, non-reversible, and continuous-time samplers☆12Nov 14, 2025Updated 3 months ago
- Access underlying NSView instances — inline with your SwiftUI views.☆12Jun 17, 2023Updated 2 years ago
- This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an econo…☆12Mar 28, 2023Updated 2 years ago
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆10Nov 27, 2023Updated 2 years ago
- ☆15Nov 27, 2025Updated 3 months ago
- Indexes DAO DAO transactions and records them to postgres for querying via Hasura GraphQL☆12Oct 24, 2022Updated 3 years ago
- Emulator of the soviet ternary computer "Setun-70" (Сетунь-70)☆18Dec 9, 2024Updated last year
- Autonomous coding agent right in your IDE.☆12Jan 14, 2025Updated last year
- CamelForth Z80☆14Nov 25, 2020Updated 5 years ago
- ☆16Jun 9, 2024Updated last year
- ☆12Apr 18, 2025Updated 10 months ago
- Simple library to interface with Hitachi-compatible character LCDs for the Sipeed Tang Nano 4K Gowin FPGA board.☆10Aug 13, 2022Updated 3 years ago
- 📐 Results for the Ranking Metrics submission @ GLB 2022☆10Apr 6, 2022Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆14Apr 9, 2025Updated 10 months ago
- A Terraform module for deploying Weights & Biases on GCP.☆13Feb 25, 2026Updated last week
- Multimodal single-cell data API, for adding information for -omics like scRNA-seq as well as ATAC-seq, spatial transcriptomics, hyperspec…☆13Jul 12, 2024Updated last year
- WASMified Sass compiler for Deno☆10Nov 5, 2020Updated 5 years ago
- ASCIIFY can be used to convert images and videos to ASCII Art. I have made this project as a part of the IITR ACM- Open Summer Project, 2…☆11Jun 19, 2025Updated 8 months ago
- ☆10Aug 14, 2023Updated 2 years ago
- A wrapper for dasm and @bbcmicrobot☆10Mar 14, 2020Updated 5 years ago
- Reference FPGA designs for interfacing with the internal ARM Cortex M3 MCU of the GW1NSR-4C, modified for use with boards like the Tang N…☆11Aug 13, 2022Updated 3 years ago
- Mac OS OSAKit adapted for Rust☆15Mar 1, 2025Updated last year