Progopedia @progopedia
Progopedia, the free encyclopedia of programming languages progopedia.com Joined November 2009-
Tweets306
-
Followers31
-
Following80
-
Likes3
Progopedia retweeted
Elixir 2.0 is not planned. Maybe time for a holiday. If you want to contribute to Elixir, contribute to Erlang. 💓. James Fish on the Elixir roadmap.
1
38
123
0
2
Download Image
Progopedia retweeted
Awesome #qsharp: now officially awesome! :-)
P is a language for asynchronous event-driven programming github.com/p-org/P
MIT's mew programming language delivers fourfold speedups on problems common in the age of big data news.mit.edu/2016/faster-pa…
Flix: functional/logic programming language flix.github.io
Progopedia retweeted
haskell meets prolog informatik.uni-kiel.de/~pakcs/ www-ps.informatik.uni-kiel.de/currywiki #oplss #oplss16
Progopedia retweeted
Tagua VM is an experimental PHP Virtual Machine written with in Rust github.com/tagua-vm/tagua…
J for Haskell Programmers crypto.stanford.edu/~blynn/haskell…
Progopedia retweeted
Hey #polyconf, here are my morning Erlang in The Land of Lisp slides! speakerdeck.com/jan/erlang-in-…
Progopedia retweeted
[ANN] luaver - Lua Version Manager v1.0.0 bit.ly/29gJW8c #LuaLang
Progopedia retweeted
Have been working with @elmlang almost entire weekend and I'm loving it so far! Really intuitive once you get your head around it
Progopedia retweeted
Microsoft/dafny is a new repository by Microsoft. Dafny is a verification-aware programming language via GitHub github.com/Microsoft/dafny
Progopedia retweeted
Doing cool #functionalprogramming? Want to tell #Melbourne about it? @ComposeMelb are looking for speakers. composeconference.org/2016-melbourne…
Progopedia retweeted
Where did Functional Programming languages come from? hubs.ly/H03hngc0
Progopedia retweeted
lol wtf is this progopedia.com/static/upload_… #png #incomplete_fish
Progopedia retweeted
I really like how stupidly clean Prolog can look; I'm sure you could whip up a light Java parser for a Prolog fork using Java idioms/libs
How computer programming languages for kids have evolved and where they're going blog.makewonder.com/evolution-prog…
Frink @Frinklang
445 Followers 269 Following News about the Frink programming language and calculating tool. Frink *will* make you better at physics and science.
Snowmanzzz.html (寻1... @zzz6519003
425 Followers 2K Following treasure hunter, alldo developer, love maker, team player OMW to become a Pokémon master previously: Ali, Microsoft, SAP https://t.co/pLUM88mV9r
TerminusDB @TerminusDB
1K Followers 2K Following Open-source document graph database & headless CMS. Immutable. Git for data. Built for devs. Discord: https://t.co/6ERA7UMB6A GitHub: https://t.co/PCJP9o25bz
Tobias Grosser @Tobias_Grosser
2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8
ياسر محنبي @yassermohnaby
24 Followers 160 Following حسبي من هو حسبي ، حسبي الذي هو حسبي ، حسبي الله ونعم الوكيل
Lewis Brown @lewiswbrown
335 Followers 3K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍
Richard Assar @richardassar
698 Followers 2K Following Formerly @RockstarGames, @SpeechGraphics Camera Programmer on GTA5 & RDR2
Erbolat @KazakhTopNews
622 Followers 3K Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Antoni @Antoni_www
22 Followers 24 Following Нравится программировать, рисовать, играть на флейте и смотреть на звезды.
Artem Zvyagintsev @corba77
549 Followers 4K Following machine learning engineer, programmer, and mathematician: former Topos and Synthetic Differential Geometry theorist.
Josh @losingkeys
82 Followers 524 Following
Haskell Lisp @HaskellLisp
341 Followers 277 Following
Christian Theil Have @c7n
112 Followers 815 Following
logtalk.org @LogtalkDotOrg
585 Followers 322 Following Logtalk development updates and relevant logic programming news.
Hakan Kjellerstrand @hakankj
984 Followers 645 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
Tomasz Słomiński @tslominski
40 Followers 877 Following
Dr. Scratch @DrScratchTool
1K Followers 1K Following Dr. Scratch is an analytical tool that evaluates your Scratch projects in a variety of computational areas to help you improve your programming skills
neopangaean confed. @3nihprom
93 Followers 299 Following overestimated by others, fan of peace, always looking for love
Mariia Mykhailova @tcNickolas
844 Followers 48 Following Software engineer @PsiQuantum. Author of Quantum Programming In Depth with Q# and Qiskit https://t.co/vbzYNm8AnY, Q# Pocket Guide https://t.co/rPCHZG5TLP
Sergii Dymchenko @kit1980
145 Followers 156 Following Generalist software developer with main interests in algorithms, mathematical optimization, programming languages, and using the right tools for the job.
Tom Van Cutsem @tvcutsem
759 Followers 171 Following Computer scientist | Professor at KU Leuven | Research advisor at Nokia Bell Labs | views are my own | @[email protected] | @tvcutsem.bsky.social
OCamlPro @OCamlPro
2K Followers 80 Following OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
Planet OCaml @planet_ocaml
764 Followers 1 Following Here is just a digest. Please consider to subscribe to the full-text Planet OCaml feed at http://t.co/fnbsb7gxUp
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
GCC - GNU Toolchain @gnutools
11K Followers 145 Following GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
Hakan Kjellerstrand @hakankj
984 Followers 645 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
OCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Dynamic Language Symp... @dynlangsym
340 Followers 157 Following Dynamic Languages Symposium (DLS) is a place for researchers and practitioners to share results and experience on all aspects of dynamic languages. 👩💻👩🔬👨🔬👨💻
RubyConf @rubyconf
17K Followers 148 Following Since 2001, RubyConf has been the annual gathering of Ruby enthusiasts from around the world to network, enjoy talks, and gain insights from industry leaders.
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Strange Loop Conf @strangeloop_stl
13K Followers 57 Following The Strange Loop software conference in St. Louis, MO. Videos: https://t.co/nzeElviisT.
LambdaConf 2025 @lambda_conf
9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Erlang! @ErlangInfo
2K Followers 283 Following Erlang news, info, blog links. Not a bot, but I dare to dream.
Haskell Lisp @HaskellLisp
341 Followers 277 Following
Superscript @_superscript
8 Followers 1 Following A new programming language, launching on Kickstarter in August
Clojure Atlas @ClojureAtlas
313 Followers 2 Following Clojure Atlas is an experiment in visualizing a programming language and its standard library, created by @cemerick.![Ceylon is a programming language for writing large programs in team environments. It is elegant, highly readable, extremely typesafe... [more on the site]](https://pbs.twimg.com/profile_images/789474472097091585/nEHX67HN.png)
Ceylon @ceylonlang
1K Followers 440 Following Ceylon is a programming language for writing large programs in team environments. It is elegant, highly readable, extremely typesafe... [more on the site]
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by @konskallas and Jenna DiVincenzo.
ROBOTC @ROBOTC
4K Followers 483 Following ROBOTC is a robotics programming language for educational robotics.
Impure @impure140
759 Followers 254 Following Impure is a visual programming language aimed to gather, process and visualize information
Swift Language News @swiftlangnews
515 Followers 22 Following SWIFT is a new programming language developed by Apple and is garnering quite a following - follow us to learn about all news and tutorials about SWIFT
Mirah Language @mirahlang
252 Followers 2 Following The Mirah Programming language is a pragmatic replacement for Java, with Ruby-inspired syntax and features but Java's performance and compact binaries.
LuaLang @LuaLang
3K Followers 86 Following Nobody talks about Lua. This is not an official Lua twitter account yet an information stream about the Lua programming Language.
ooc language @ooc_lang
296 Followers 26 Following ooc is a programming language that compiles to C99.
Open Dylan @DylanLanguage
336 Followers 413 Following Dylan is a fast, object-functional language with gradual typing, clean syntax, and powerful macro system.
Toccata Language @toccata_lang
176 Followers 123 Following A Clojure-inspired Lisp dialect that compiles to native executables.
Python Software Found... @ThePSF
686K Followers 127 Following The nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv On Mastodon: @[email protected]
iolanguage @iolanguage
850 Followers 1 Following Io is a programming language focused on expressiveness through simplicity. All values are objects. All actions are messages. Code is a runtime modifiable tree.
The PyPy Project @pypyproject
8K Followers 60 Following The developers of the PyPy project: a fast, compliant Python interpreter.
LabVIEW @labview
16K Followers 2K Following #LabVIEW: an @NIglobal systems engineering software for applications that require test, measurement, and control with rapid access to hardware and data insights
MATLAB @MATLAB
101K Followers 865 Following MATLAB is a high-level language and interactive environment for numerical computation, visualization, and programming 📲 Follow us on Instagram @MATLAB
Dyalog @dyalogapl
1K Followers 294 Following Approach Problems Like Never Before - Dyalog is a world-class APL development environment. #Dyalog #APL https://t.co/6oXhK6mcJ0
Lang5 @lang5_news
27 Followers 6 Following lang5 is a stack based array language borrowing heavily from Forth and APL (quite like RPL borrows from Forth and LISP). Mostly run by @decfreak
Frink @Frinklang
445 Followers 269 Following News about the Frink programming language and calculating tool. Frink *will* make you better at physics and science.
NetLogo @netlogo
5K Followers 26 Following NetLogo is a platform for agent-based modeling. It's free and open-source.
Scratch Team @scratch
118K Followers 933 Following The coding language and online community where kids create and share stories, games, & animations. Scratch is operated by the nonprofit Scratch Foundation. 😺
CoffeeScript @CoffeeScript
13K Followers 122 Following A little language that compiles to JavaScript. Feed by Trevor Burnham, author of http://t.co/QXqMaBsldo
Dart Language @dart_lang
88K Followers 47 Following An approachable, portable, and productive language for high-quality apps on any platform
gap-system.org @gap_system
438 Followers 55 Following GAP - free open and extensible system for discrete computational algebra. Tweets by @CIRCA_StAndrews, not necessarily views/endorsements of the whole GAP Group.
Rust Language @rustlang
152K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **Trends for United States
186 B posts
131 B posts
135 B posts
117 B posts
732 B posts
4.813 posts
475 B posts
33,1 B posts
14 B posts
13,4 B posts
2.172 posts
17,5 B posts
9.846 posts
8.672 posts
1.261 posts
57,6 B posts
126 B posts
21,6 B posts
You might like
Markus Schacher
@MarkusSchacher
216 Followers
Paul Brown
@PaulBrownPhD
372 Followers
Norbert Melzer
@NobbZ1981
88 Followers
Ning Zhang
@n1ngzh
107 Followers