Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / IreneKnapp / Inductive
Public GitHub Catalog Discovered Sep 26, 2026

IreneKnapp / Inductive

An experimental inductive-logic-programming system written in Haskell

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#7390366GitHub System ID
IreneKnappOrganization / User
PublicVisibility
ActiveCatalog Status

More from IreneKnapp

↗

IreneKnapp/nexus-gaming

Player registration system for Nexus-based live-action roleplay (LARP) events

Discovered
↗

IreneKnapp/parsing-game

A side-scrolling platform videogame which is controlled solely through a natural-language interface.

Discovered
↗

IreneKnapp/direct-opengl

A fork of the OpenGL Haskell library, using direct-opengl-raw instead of OpenGLRaw. No other changes as of this writing.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.