SaaSHub helps you find the best software and product alternatives Learn more →
Principia Alternatives
Similar projects and alternatives to principia

inform7ide
A design system for interactive fiction based on natural language.


InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.

mathlib
Lean 3's obsolete mathematical components library: please use mathlib4


cyclecloud
Repository to allow collaboration between Cycle Labs Cloud community in support of the community.

TransformerinTransformer
An Implementation of Transformer in Transformer in TensorFlow for image classification, attention inside local patches (by Rishitdagli)

planckforth
Bootstrapping a Forth interpreter from handwritten tiny ELF binary. Just for fun.

WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easytouse, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

principia reviews and mentions

Principia Mathematica in modern notation.
Not exactly modern notation, but Coq notation, which could easily be machinetranslated into modern notation: https://www.principiarewrite.com/
You can check it out here: https://www.principiarewrite.com/

Ask HN: Would prog. language look like if that was designed by noprogrammer
Principia
A work from the early 20th century, mathematics, logic.
I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer.
I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying.
In code? See for yourself :

Hacker News top posts: Dec 6, 2021
Whitehead and Russell’s Principia rewritten in Coq\ (44 comments)

A note from our sponsor  SaaSHub
www.saashub.com  13 Apr 2024
Stats
LogicalAtomist/principia is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of principia is TeX.