asciidots
sophie
asciidots | sophie | |
---|---|---|
2 | 5 | |
1,101 | 24 | |
- | - | |
0.0 | 9.5 | |
over 1 year ago | 3 days ago | |
Python | Python | |
GNU Affero General Public License v3.0 | MIT 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.
asciidots
-
100 Languages Speedrun: Episode 60: Asciidots
Asciidots is an esoteric 2D language. The most obvious question is how it compares to the classic 2D language Befunge.
-
Programming languages iceberg
My favorite one is Asciidots.
sophie
-
Milestone: Sophie has Worker Threads
Here's the thread-pool based scheduler. Despite Python's GIL, a bit of threading does subjectively seem to speed up turtle-graphics significantly. (I suspect Tcl/Tk drops the GIL.) There's not yet a way to declare user-defined actors, but the system-defined ones seem to do the right thing.
-
I/O, Randomness, and the Functional Process Abstraction
Game Code written in Sophie
-
Milestone Reached: Sophie gains cool typing powers and text-oriented interaction
Full details are at https://github.com/kjosib/sophie/blob/main/sophie/type_evaluator.py under the heading of DeductionEngine.
-
Immutability is better but why?
In April, Sophie got (90% of) a completely overhauled type checker based on abstract interpretation, which can deal with generic parameters. (e.g. take map as a parameter and call that generically on two different-typed lists.) The diagnostic messages coming out are now precise, detailed, and helpful.
-
Sophie: A call-by-need strong-inferred-type language named for French mathematician Sophie Germain
Literate Formal Grammar
What are some alternatives?
i-use-arch-btw - "I use Arch btw" but it's a Turing-complete programming language.
learn oops in python - 📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with explanations.
ASCII-generator - ASCII generator (image to text, image to image, video to video)
professional-programming - A collection of learning resources for curious software engineers
rickroll-lang - The Rick Roll programming language is a rickroll based, process oriented, dynamic, strong, esoteric programming language. All of the keywords/statements are from Rick Astley's lyrics. Check our tutorial site, https://rick-lang.github.io/programming-language-explainer/
Coconut - Simple, elegant, Pythonic functional programming.
CraftyFunge - A 3D esoteric programming language interpreted in Minecraft
Cantonese - 粤语編程語言.The Cantonese programming language.
spet - an interpreter for a turing-complete programming language based on Spotify playlists
heartfuck - Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann
rasel - RASEL (Random Access Stack Esoteric Language) reference implementation
rajiniPP - Programming language based on Iconic dialogues of Rajinikanth. 🤘🏽