https://github.com/brainrake/firth

Typesafe Forth (Stack-based concatenatie language) in Idris
https://github.com/brainrake/firth

Last synced: about 2 months ago
JSON representation

Typesafe Forth (Stack-based concatenatie language) in Idris

• Host: GitHub
• URL: https://github.com/brainrake/firth
• Owner: brainrake
• Created: 2018-11-25T08:37:50.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-11-26T22:16:37.000Z (over 7 years ago)
• Last Synced: 2025-07-18T05:36:38.665Z (9 months ago)
• Language: Idris
• Size: 1000 Bytes
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
This is an experiment.

It's an embedded language in Idris. It's stack-based / concatenative, like Forth, but typesafe, like Kitten.