Je joue avec #Wonderdraft depuis hier et il s’agit d’un logicien vraiment très sympa.
Je recommande !
#cgit, before/after screenshots
colorless-themes is probably the most “profitable” open source project I have ever wrote. I can now derive a new theme in less than 20minuts *o*
Here is a clone of nofrils-dark I just wrote
Oh my god, this made my evening
The nice thing about my colorless-themes macro is that I can easily write a new theme when I get bored.
So I did just that recently, with a new colorless theme inspired by Lavender
Another screenshot of my work in progress website
For #pijul related pages now \o/
I made a simple online mini-game in for days \o/ (reusing my #Elixir framework).
Pretty happy about it. It is not sure it will serve its purpose (does not depends on me), but at the very last, it works and that is already awesome.
They’re calling it “the #Coq Meetup effect.”
Eh folks, what do you think of my new #Emacs light theme?
I don’t like syntax highlighting.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!