☆20Mar 11, 2021Updated 5 years ago
Alternatives and similar repositories for ikvm
Users that are interested in ikvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆173Feb 24, 2021Updated 5 years ago
- MVVM using Mr. Advice☆14Jan 31, 2025Updated last year
- Support for adding dependencies on Maven artifacts to .NET projects, using IKVM.☆63Dec 7, 2025Updated 4 months ago
- ☆11Oct 15, 2025Updated 6 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 months ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- A Django-based FHIR server that uses MongoDB for FHIR resource storage☆10Apr 19, 2018Updated 8 years ago
- A simple swiss army tool to help debug SMART authorization for any SMART compliant OIDC server☆11Apr 14, 2026Updated 2 weeks ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 7 months ago
- MCP server that provides AI assistants with comprehensive access to MudBlazor component documentation, code examples, and API reference. …☆71Apr 8, 2026Updated 3 weeks ago
- ☆13Sep 16, 2020Updated 5 years ago
- ☆13Apr 15, 2026Updated 2 weeks ago
- ☆14Mar 5, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- REST Service Example with Jersey2 and Guice Dependency Injection☆10Nov 28, 2016Updated 9 years ago
- A modern Prolog implementation written mostly in Rust.☆12Mar 16, 2026Updated last month
- Avalonia version of Zafiro Designer☆11Mar 16, 2026Updated last month
- ☆12Oct 8, 2024Updated last year
- A VSCode extension for converting Typescript to C#☆12Mar 4, 2023Updated 3 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- A pure js implementation of the Paillier cryptosystem. THIS PROJECT IS NO LONGER MAINTAINED. Consider switching to paillier-bigint that i…☆10Apr 9, 2020Updated 6 years ago
- Versatile heuristic partial order planner☆15Jul 10, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12May 30, 2025Updated 11 months ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- 🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs☆13Apr 1, 2022Updated 4 years ago
- My own Forth dialect on top of the Lua programming language. [Work in Progress]☆15Jun 20, 2017Updated 8 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- My screeps game scripts using F# Fable☆11Feb 28, 2017Updated 9 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- FHIR Android client example☆12Nov 20, 2015Updated 10 years ago
- XSB Prolog☆14Mar 27, 2010Updated 16 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Mar 10, 2017Updated 9 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Prolog list utility predicates☆11Jul 19, 2018Updated 7 years ago
- ☆13Jun 25, 2015Updated 10 years ago
- MessagePack implementation for F# msgpack.org[F#] http://msgpack.org/☆17Sep 13, 2016Updated 9 years ago
- Fully-featured .NET CSV library, parsing gigabytes of CSV per second☆15Mar 1, 2026Updated 2 months ago