Mental Floss — 29 tools

Preview of Proofs and Concepts: the fundamentals of abstract mathematics

↗ Visit

Proofs and Concepts: the fundamentals of abstract mathematics

Joy Morris, Dave Morris

#formation#canada#education#logic

people.uleth.ca

↗ Visit

py-modular

a modular and experimental programming environment with basic DSP routines in python.

#musique#python#music programming

py-modular.readthedocs.io

Roppers Computing Fundamentals

A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.

#python#programming languages#hebergement#editeur#informatique

pyrefly.org

↗ Visit

Apache C++ Standard Library

STDCXX, A collection of algorithms, containers, iterators, and other fundamental components. [retired] [Apache2]

#informatique#apache#serveur web

stdcxx.apache.org

↗ Visit

Carbon Copy Cloner

Create incremental and fully bootable backups of your Mac to external storage.

MCP server that gives AI agents access to a database of scientific papers built from raw experimental data extracted from full-text studies. Returns 25+ structured fields per paper including methods, results, sample sizes, and quality scores. [GitHub](https://github.com/connerlambden/bgpt-mcp)

#intelligence artificielle#hebergement#base de donnees#informatique

bgpt.pro

↗ Visit

NumPy

A fundamental package for scientific computing with Python.

Vita3K is an experimental PlayStation Vita emulator for Windows and Linux.

#windows#linux#divertissement#jeux video#systeme

vita3k.org

↗ Visit

Kopia

Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication.

#windows#linux#sauvegarde#macos#data backup and recovery

kopia.io

↗ Visit

bup

Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images).

#sauvegarde#git#data backup and recovery#informatique

bup.github.io

↗ Visit

Playback

Experimental video player. ![Freeware][Freeware Icon] [![Open-Source Software][OSS Icon]](https://github.com/mafintosh/playback)

#audio and video tools#informatique#icones

mafintosh.github.io

↗ Visit

Alchemy

Experimental, open-source drawing application with an emphasis on creating conceptual art. [![Open-Source Software][OSS Icon]](http://svn.al.chemy.org/)

#art#design tools#informatique#icones

al.chemy.org