Trending tags: ai  rust  github.com  trump  health  psychology  microsoft  linux  vibecoding  video  apple  google  nature.com  psypost.org  show  game  arstechnica.com  meta  theregister.com  go 

Small Propositional Logic Proof Assistant

35 days ago reddit.com python

Related Stories

Proof of concept - Linux distro with Go

15 days ago reddit.com go linux

Any ideas for small programs?

10 days ago reddit.com java

Wrote a small packet analyzer

9 days ago reddit.com rust

A small crates.io issue

33 hours ago reddit.com rust

Mongo Analyser: A TUI Application for MongoDB with Integrated AI Assistant

14 days ago reddit.com ai mongodb python

Q++ – A Hybrid Quantum/Classical Language for Gate Simulation and Probabilistic Logic

6 days ago reddit.com compiler

Take a look at my cute small game

9 days ago reddit.com game go

pmGenerator 1.2.2 released: Extended proof compression and natural deduction to Hilbert-style conversion

6 days ago reddit.com compression release

mineshare 0.1 - A tunneling reverse proxy for small Minecraft servers

8 days ago reddit.com minecraft proxy rust

Small research on different implementation of Fan-In concurrency pattern in Go

17 days ago reddit.com concurrency go

Small research on different implementation of Fan-In concurrency pattern in Go

17 days ago reddit.com concurrency go

Write once, use everywhere – our small startup product bridges Python, .NET, Java, and Node.js

2 days ago reddit.com .net java python

Python Object Indexer

18 days ago reddit.com python

πŸ” Built a Python Plagiarism Detection Tool - Combining AST Analysis & TF-IDF

17 days ago reddit.com python

ayu - a pytest plugin to run your tests interactively

17 days ago reddit.com python

Forum python en français

17 days ago reddit.com python

Monday Daily Thread: Project ideas!

17 days ago reddit.com python

Open Source Photo Quality Analyzer: Get Technical Scores for Your Images (Python, YOLO, OpenCV CLI)

17 days ago reddit.com python

Losing sleep from it

17 days ago reddit.com python

Introducing MEINE πŸŒ’: A TUI-Based File Manager & Command Console Built with Python

17 days ago reddit.com python

Hot take for Python

17 days ago reddit.com python

New Open Source Project Gemini-Engineer

16 days ago reddit.com python

Open source CLI tool for CodeAct agents

16 days ago reddit.com python

πŸ’₯ Introducing AtomixCore β€” An open-source forge for strange, fast, and rebellious software

16 days ago reddit.com python

Tuesday Daily Thread: Advanced questions

16 days ago reddit.com python

No more exit()? Yay for exit!

16 days ago reddit.com python

Positive Python obsession

16 days ago reddit.com python

So tired of python

16 days ago reddit.com python

Mopad: Gamepad support for Python is finally here!

15 days ago reddit.com python

CRON UI: simplest Interface for task scheduling in your laptop.

15 days ago reddit.com python