principia
planckforth
Our great sponsors
principia | planckforth | |
---|---|---|
10 | 12 | |
197 | 271 | |
- | - | |
2.7 | 0.0 | |
8 months ago | over 1 year ago | |
TeX | Forth | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
principia
-
Principia Mathematica in modern notation.
Not exactly modern notation, but Coq notation, which could easily be machine-translated 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 no-programmer
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)
planckforth
-
Forth as an intermediate language
This reminds me a bit of how planck is implemented with planckforth. I can't tell you if there are pitfalls or not, but I can understand how it could be an interesting approach.
-
Hacker News top posts: Dec 6, 2021
Show HN: PlanckForth – Bootstrapping an interpreter from handwritten 1kb binary\ (14 comments)
-
Show HN: PlanckForth: Bootstrapping an Interpreter from Handwritten 1KB Binary
bootstrap.fs is a thing of beauty
https://github.com/nineties/planckforth/blob/main/bootstrap....
It starts off looking like line noise (the very simple interpreter defined in hex) and gradually turns into the forth we know and love.
Fantastic!
-
Bootstrapping a Forth Interpreter from Handwritten 1KB Binary
interpreter is designed to be very simple. Every built-in word is single-letter and the interpreter just repeats that reads a character, looks it up from the dictionary and executes it. Also there is no error checking.
This is the actual code for the first interpreter, which is a 136-byte implementation of the interpreter followed by a built-in dictionary of 888 bytes.
https://github.com/nineties/planckforth/blob/main/planck.xxd
The first interpreter and language is so esoteric that, for example, the Hello World looks like this.
$ ./planck
- PlanckForth: Bootstrapping an Interpreter from Handwritten 1KB Binary
What are some alternatives?
miniforth - A bootsector FORTH
Coq-Equations - A function definition package for Coq
inform7-ide - A design system for interactive fiction based on natural language.
hs-to-coq - Convert Haskell source code to Coq source code.
Transformer-in-Transformer - An Implementation of Transformer in Transformer in TensorFlow for image classification, attention inside local patches
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
planck - This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
cycle-cloud - Repository to allow collaboration between Cycle Labs Cloud community in support of the community.
factor - Factor programming language