Life & fun · February 25, 2023
LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY
In plain words
LeanCreator is a simplified C/C++ integrated development environment based on QtCreator, designed for developers working with LeanQt and BUSY. It removes unnecessary features from the full QtCreator to provide a lightweight alternative focused on essential coding tools. The project targets programmers who prefer a minimal, streamlined editor without the overhead of a full-featured IDE.
written from the facts on this page · September 2026
Does the same job
all alternatives →- PCPyper – Concurrent Python Made Simple2025 · github.com · ▲156
Hello and happy new year! We're excited to introduce the Pyper package for concurrency & parallelism in Python. Pyper is a flexible framework for concurrent / parallel data processing, following the functional paradigm. Source code can be found on [github](https://github.com/pyper-dev/pyper) Key features: Intuitive API: Easy to learn, easy to think about. Implements clean abstractions to seamlessly unify threaded, multiprocessed, and asynchronous work. Functional Paradigm: Python functions are the building blocks of data pipelines. Let's you write clean, reusable…
- JAJuggler – an open-source GUI coding agent, by the creator of JUCEJul 2026 · github.com · ▲280
Hello HN, I don't post on here much, but wanted to get some eyes on a new project I'm just launching. I think we definitely need one more AI code agent.. I'm a long-term C++ dev, and over 30+ years I've created some successful audio dev tools (JUCE, the Tracktion DAW, the Cmajor DSP language). All of these came from me getting annoyed with something I had to use, and deciding to have a go at my own take on whatever it was. So Juggler is my attempt at an AI code agent, after spending too many hours loving what the models could do, but hating the CLI experience, and having some opinions of…
- FPFormalizing Principia Mathematica using Lean2025 · github.com · ▲188
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
- LALeanQt – a stripped-down, adaptable Qt easy to build and to integrate2022 · github.com · ▲7
- LCLightweight C++ editor that understands your code2015 · slededit.com · ▲44
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Articos▲385Launch with confidence, not gut instinct Discussion | Link
Life & fun · 12d ago · producthunt.com
Nex▲351Claude Cowork for high-volume GTM workflows Discussion | Link
Life & fun · 3d ago · producthunt.com
Photosynthesis fires two of your iPhone
Life & fun · 29d ago · photosynthesis.camera
Creatium Coach▲320Your multimedia mentor that takes you from mid to great Discussion | Link
Life & fun · 11d ago · producthunt.com
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
