ArchiveOSFormal-Ed – a formalized line editor in Coq. It provides an implementation of a line editor in Coq, and then prove that it is a complete text editor. https://archiveapp.org/formal-ed/ #texteditor #linux #bsd #unix
Neustradamus :xmpp: :linux:#nano 8.5 "#Sigourney" has been released (#GNU / #NanoEditor / #TextEditor / #Editor) https://nano-editor.org/
N-gated Hacker News🖥️ Ah, yet another "revolutionary" text editor, because clearly the world needs more barely-functional #Vim #clones written in #Go. 🎉 Expect the same old confusion with a sprinkle of modern buzzwords like #LSP and #TreeSitter. 🌲🤖 Why innovate when you can just slap a theme on it and call it a day? 🙄
https://github.com/firstrow/mcwig #texteditor #revolution #programming #HackerNews #ngated
https://github.com/firstrow/mcwig #texteditor #revolution #programming #HackerNews #ngated
Hemlock – an extensible Emacs-like text editor embedded in CMUCL. It follows the tradition of the Lisp Machine editor ZWEI and the ITS/TOPS-20 implementation of Emacs. https://archiveapp.org/hemlock/ #texteditor #linux #bsd #osx #solaris #unix
WinFuture.de#Microsoft veröffentlicht eine Vorabversion des #Notepad mit Markdown-Unterstützung. Der einst simple #Texteditor bietet jetzt Formatierungsfunktionen für fetten und kursiven Text sowie Hyperlinks. #Editor https://winfuture.de/news,151273.html?utm_source=Mastodon&utm_medium=ManualStatus&utm_campaign=SocialMedia
Notepad mutiert zu Word(Pad): Editor bekommt Text-Formatierung
Microsoft hat eine Vorabversion von Notepad veröffentlicht. Der einst so simple Texteditor bekommt in der neuen Version die Möglichkeit, Markdown zu nutzen und Links darzustellen sowie Texte in verschiedenen Stilen zu formatieren.
DimaLinkBasic dialects – poisk (search)
https://dimalinkeng.blogspot.com/2025/05/basic-dialects-poisk-search.html
#8bitcomputers #8bit #basic #dialects #retroprogramming #soft #ussrcomputers #sura #agat #poisk #80s #eighties #oldcomputers #80scomputers #sovietcomputers #sovietbasic #newbasicdialects #interestingsolution #retrostuff #vintage #oldschool #icantfindanything #searchforcomputers #searchforide #programming #writeprograms #texteditor #msx #spectrum
Out of Control 
🇨🇦Back on SublimeText for less than a week. Honestly can't really understand why I left it for VSCode in the first place. Current packages installed (theme Lyte to match PHPStorm - close):
SublimeLinter
AdvancedNewFile
BracketHighlighter
DocBlockr
Dotfiles Syntax Highlighting
EditorConfig
Emmet
FileIcons
GitGutter
Laravel Blade
Light Lite Color Scheme
Markdown
MarkdownEditing
Package Control
Phpcs
PowerShell
Pretty JSON
Tailwind CSS
Terminus
Theme - Lyte
NatyNew Blog Post!
➡️ https://www.burgeonlab.com/2025/retext-markdown-editor-how-to-install-python-apps-on-mac/
I'm kinda obsessed about #Markdown editors. I love live previews/dual-panel views, minimal UI and customizable nature.
I discovered #ReText, a #python based md editor, which is not technically supported on Macs, but I got it working in the end after trial and error!
https://github.com/retext-project/retext
Read my guide on how to get it running and let me know how it goes!
InfoQMeet Edit – Microsoft’s new open-source command-line #TextEditor, coming soon to Windows 11!
Edit is designed to deliver a lightweight native, modern command-line editing experience similar to Nano & Vim.
🔗 Find out more: https://bit.ly/4mzOt9c
LinuxiarzeLeo to edytor tekstu/outliner o otwartym kodzie źródłowym, w którym klony (wirtualne kopie węzłów konspektu) stanowią główne narzędzie do organizacji, nawigacji, dostosowywania i pisania skryptów. #texteditor #linux #osx #windows #bsd #unix https://biznes.linuxiarze.pl/leo/
