mi-cho-coq
factor
Our great sponsors
mi-cho-coq | factor | |
---|---|---|
7 | 58 | |
- | 1,568 | |
- | 0.8% | |
- | 9.8 | |
- | 9 days ago | |
Factor | ||
- | BSD 2-clause "Simplified" 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.
mi-cho-coq
- Every link DEVs interested on Tezos should know
-
12 reasons Cardano can't scale in 2022
There are similarities between the promises made by Cardano and what you find in Tezos: * proof-of-stake L1s * on-chain voting: Voltaire for Cardano vs periodic elections on Tezos (already 8 important upgrades of the protocol that were voted for, with the Foundation abstaining!) * formal verification of contracts and the chain itself: mentioned here for Cardano vs several projects in Tezos (Mi-Cho-Coq, foobar.land, both using the Coq proof assistant) * ongoing work on L2s: Hydra for Cardano vs Deku, zkRollups and optimistic rollups as well (a bit similar to Arbitrum IIRC).
- About Michelson design
-
ELI5 This โsuperior techโ Tezos has
The link to the Coq formalization of Michelson, to formally verify smart-contracts: https://gitlab.com/nomadic-labs/mi-cho-coq
factor
-
My history with Forth, and stack machines
My impression so far is (in general), Forth are practically limited to doing embedded/microcontroller development.
For us, web/mobile/desktop app devs, beside:
- 8th (https://8th-dev.com)
- Factor (https://factorcode.org)
Any suggestion which implementation we should look for?
- Forth: The programming language that writes itself: The Web Page
- Retro: A Modern, Pragmatic Forth
-
Pharo 11, the pure object-oriented language and environment is released!
Factor is also very much worth a look. Forth-style syntax, but with many of the ideas from CL and Smalltalk as well. In fact as a CL fan, I was very impressed by it. It's also quite "batteries included" a la Python.
- Forth as an intermediate language
-
A Dynamic Forth Compiler for WebAssembly
There's a note on the page from 2022-08-19, that a lot has been added to it. It also links to the github page[1] for the up-to-date changes.
I am a Lisp, April, APL/J/BQE, and Forth[2] aficionado. I did some file munging programs in Factor back in 2012 at my job to sort through theater attendance logs in Word to compile statistics.
-
What the hell is Forth? (2019)
Is there any "battery-included" ANS Forth (more or less like Python/Go) which provides access to concurrency, networking, database, GUI, etc?
Not an embedded device programmer, but mostly deals with frontend apps, and occasionally backend, so those are very relevant to me.
Or perhaps use "non-traditional" Forths like 8th (https://8th-dev.com) or Factor (https://factorcode.org)?
-
-๐- 2022 Day 2 Solutions -๐-
Here's my day two solution using Factor
-
-๐- 2022 Day 1 Solutions -๐-
Factor:
- Why is the Forth community so split?
What are some alternatives?
jonesforth - Mirror of JONESFORTH
durexforth - Modern C64 Forth
oil - Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
bondi - source code for the bondi programming language
Raylib-CsLo - autogen bindings to Raylib 4.x and convenience wrappers on top. Requires use of `unsafe`
pirsch - Pirsch is a drop-in, server-side, no-cookie, and privacy-focused analytics solution for Go.
batteries-included - Batteries Included project
stoneknifeforth - a tiny self-hosted Forth implementation
langs
proposal-partial-application - Proposal to add partial application to ECMAScript
foth - Tutorial-style FORTH implementation written in golang
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.