https://github.com/Dierk/frepl-gui

GUI for the frege repl
https://github.com/Dierk/frepl-gui

Last synced: about 1 month ago
JSON representation

GUI for the frege repl

• Host: GitHub
• URL: https://github.com/Dierk/frepl-gui
• Owner: Dierk
• License: apache-2.0
• Created: 2015-02-21T01:39:51.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-04-17T17:11:33.000Z (about 7 years ago)
• Last Synced: 2024-02-12T05:02:12.708Z (5 months ago)
• Language: Frege
• Size: 1.24 MB
• Stars: 24
• Watchers: 5
• Forks: 4
• Open Issues: 0

Lists

• awesome-frege - GUI REPL - GUI based REPL. (Tools / REPLs)
• awesome-stars - Dierk/frepl-gui - GUI for the frege repl (Frege)