> For the complete documentation index, see [llms.txt](https://woodrowpearson.gitbook.io/woodrow-wiki/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://woodrowpearson.gitbook.io/woodrow-wiki/programming-languages.md).

# Programming languages

There is an [awesome article](https://briansteffens.github.io/2017/02/20/from-math-to-machine.html) that goes over how one program can be written in different languages from the most abstract level of Math to Haskell to C to Assembly to actual machine code.

## Links

* [Awesome programming languages](https://github.com/learn-anything/programming-languages#readme)
* [Tour de Babel](https://sites.google.com/site/steveyegge2/tour-de-babel) - Funny de tour of programming languages.
* [Programming Language Theory](http://steshaw.org/plt/)
* [Conal Elliott - Teaching New Tricks to Old Programs (2017)](https://www.youtube.com/watch?v=vzLK_xE9Zy8)
* [Awesome static analysis](https://github.com/mre/awesome-static-analysis#readme) - Curated list of static analysis tools, linters and code quality checkers for various programming languages.
* [Lists of most popular repositories for most favored programming languages](https://github.com/kaxap/arl#readme)
* [Rockstar](https://github.com/dylanbeattie/rockstar#readme) - Idiomatic Rockstar [FizzBuzz implementation](https://github.com/dylanbeattie/rockstar#examples) is the best thing ever.
* [Twelf](http://twelf.org/wiki/Main_Page) - Language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
* [GitHut](https://githut.info/) - Place to discover languages on GitHub.
* [Type inference (2018)](https://eli.twhegreenplace.net/2018/type-inference/)
* [Little Languages](https://maxhallinan.com/posts/2018/12/07/little-languages/) - [(Lobsters)](https://lobste.rs/s/5vvvzj/little_languages)
* [Course page Types and Semantics for Programming Languages (2018)](https://github.com/plfa/tspl)
* [Smallest possible syntactically valid files of different types](https://github.com/mathiasbynens/small)
* [History of Programming Languages course](http://www.ccs.neu.edu/home/matthias/7480-s17/) ([GitHub repo](https://github.com/nuprl/hopl-s2017))
* [The Programming Language I’m Looking For (2018)](https://hackernoon.com/the-programming-language-im-looking-for-948d93f7a396)
* [Go, Tooling, and New Languages (2016)](http://parellagram.com/posts/tools)
* [Programming paradigms for dummies: what every programmer should know (2019)](https://blog.acolyer.org/2019/01/25/programming-paradigms-for-dummies-what-every-programmer-should-know/)
* [What, if anything, is a programming paradigm? (2017)](http://www.cs.cmu.edu/~rwh/papers/paradigms/paradigm.pdf)
* [Programming Languages Zoo](https://github.com/andrejbauer/plzoo#readme) - Collection of implementations of miniature programming languages.
* [Thinking in a Language (2019)](https://maxhallinan.com/posts/2019/02/15/thinking-in-a-language/)
* [What are some niche features you'd like to see in more languages? (2019)](https://lobste.rs/s/mcwvhn/what_are_some_niche_features_you_d_like_see)