PyNeuraLogic: Python Differentiable Logic Programs

In plain words

PyNeuraLogic is a Python framework for building differentiable logic programs. It provides tools to express and extend graph neural networks while handling complex relational problems beyond standard graph structures. The framework is designed for developers working with machine learning systems that require logical reasoning capabilities alongside neural computation.

written from the facts on this page · September 2026

From the sources

PyNeuraLogic lets you use Python to create Differentiable Logic Programs - LukasZahradnik/PyNeuraLogic

• 
  Pyscn – Python code quality analyzer for vibe coders2025 · github.com · ▲136

  Hi HN! I built pyscn for Python developers in the vibe coding era. If you're using Cursor, Claude, or ChatGPT to ship Python code fast, you know the feeling: features work, tests pass, but the codebase feels... messy. Common vibe coding artifacts: • Code duplication (from copy-pasted snippets) • Dead code from quick iterations • Over-engineered solutions for simple problems • Inconsistent patterns across modules pyscn performs structural analysis: • APTED tree edit distance + LSH • Control-Flow Graph (CFG) analysis • Coupling Between Objects (CBO) • Cyclomatic Complexity Try it without…

• 
  Making Python one-liner-fit with the new pwk (Python With Kurly braces)2020 · github.com · ▲84

  Python With Kurly braces. Contribute to umlet/pwk development by creating an account on GitHub.

• 
  A simple Prolog Interpreter written in a few lines of Python 32019 · github.com · ▲149

  A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic. - photonlines/Python-Prolog-Interpreter

• GG
  Graphene – GraphQL framework for Python2016 · graphene-python.org · ▲106

  Graphene framework for Python

• 
  Oxyde – Pydantic-native async ORM with a Rust coreMar 2026 · github.com · ▲155

  Hi HN! I built Oxyde because I was tired of duplicating my models. If you use FastAPI, you know the drill. You define Pydantic models for your API, then define separate ORM models for your database, then write converters between them. SQLModel tries to fix this but it's still SQLAlchemy underneath. Tortoise gives you a nice Django-style API but its own model system. Django ORM is great but welded to the framework. I wanted something simple: your Pydantic model IS your database model. One class, full validation on input and output, native type hints, zero duplication. The query API is…

• 
  Pydantic – Data validation using Python 3.6 type hinting2017 · pydantic-docs.helpmanual.io · ▲120

  Documentation for the Pydantic stack. Validate data with Pydantic Validation, build production AI agents with Pydantic AI, and monitor LLM calls, agent behavior, and costs with Pydantic Logfire.

• 
  /dev/null▲486

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Warp, a Rust-based terminal▲946

  Hi HN community, I’m Zach, founder and CEO of Warp, and am excited to show you Warp, a fast Rust-based terminal that’s easy to use and built for teams. As of today, Warp is in public beta and any Mac user can download it. It works with bash, zsh, and fish. The terminal’s teletype-like interface has made it hard for the CLI to thrive. After 20 years of programming, I still find it hard to copy a command’s output; I always forget how to use `tar`; and I always have to relearn how to move my cursor. To fix fundamental accessibility issues, I believe we need to start innovating on the terminal,…

  AI · 2022 · warp.dev

• 
  Slow Social, a social network built for friends, not influencers▲752

  Slow Social is a online social network built for growing and sustaining friendships.

  Life & fun · 2022 · slowsocial.us

• 
  Reflect▲626

  Fast networked note-taking

  Work · 2022 · reflect.app

• 
  Make your PDF look scanned in browser▲579

  Implement scanyourpdf.com in JavaScript. No backend servers needed.

  Life & fun · 2022 · lookscanned.io

• 
  Archbee 3.0▲572

  Everything you need to create amazing documentation

  Dev tools · 2022 · archbee.com

• 
  ngrok▲547

  Serve local web apps with one command

  Dev tools · 2022 · ngrok.com