Woodrow.wiki
  • Hello World
  • Meta
    • Worflow & Structure
  • Footprint
    • Cover Letter
  • Cheatsheets
    • Awesome-Cheatsheets
  • Writing
    • Markdown
  • Art
    • Tattoos
    • Music
  • Computer Science
    • Data Structures
    • Algorithms
      • Compression
    • Parsing
    • Formal verification
      • TLA+
    • Automata theory
  • Programming
    • Git
    • Concurrency
    • Regex
    • Hashing
    • Functional programming
    • Semantic versioning
    • Reverse engineering
    • Protocol Buffers
    • Coding practice
    • Serialization
    • Competitive Programming
    • Design patterns
    • System Design
    • Continuous Integration
    • Documentation
    • Embedded systems
    • Encoding
    • Interactive computing
    • Quantum programming
  • Web
    • Browsers
      • Safari
      • Google Chrome
        • Chrome DevTools
      • Firefox
      • Bookmarklets
      • Stylish themes
        • Web performance
        • Service workers
        • Static sites
      • Hugo
        • Node.js
        • Deno
        • WebAssembly
        • SEO
        • Electron
        • Webpack
        • Rollup
        • WebRTC
        • Search engines
        • Web engines
      • WebKit
        • Progressive Web Apps
        • Web workers
        • Web scraping
    • RSS
    • Web accessibility
      • Content management systems
      • JAMstack
        • Redwood
  • Front End
    • CSS
      • CSS Grid
      • Tailwind CSS
      • CSS in JS
    • HTML
  • Programming languages
    • Go
      • Go libraries
    • Python
      • Python libraries
    • Swift
      • Swift libraries
    • Rust
      • Rust libraries
    • Haskell
      • Haskell libraries
    • JavaScript
      • ESLint
      • Babel
    • JS libraries
      • Gatsby JS
      • Next.js
      • React
      • Three.js
      • Expo
      • Vue.js
    • TypeScript
      • TypeScript libraries
    • Scala
      • Scala libraries
    • Bash
    • Clojure
      • ClojureScript
    • Erlang
    • Java
      • Java libraries
    • Kotlin
      • Kotlin libraries
    • C
      • C libraries
    • Lua
    • Ruby
    • C++
      • C++ libraries
    • Julia
      • Julia libraries
    • Dart
      • Flutter
    • R
    • Assembly
    • Processing
  • Data Science
    • Visualization
  • Open Source
  • Text editors
    • Vim
      • Vim plugins
    • Sublime Text
      • Sublime Text plugins
    • Emacs
  • Distributed systems
    • RPCs
      • gRPC
    • Load balancing
    • Message queue
      • ZeroMQ
  • Containers
    • Kubernetes
    • Docker
  • Cloud computing
    • AWS
      • AWS Lambda
  • Operating systems
    • Linux
      • NixOS
    • BSD
    • Windows
  • Package managers
    • brew
  • DevOps
    • SRE
      • Security
  • Unix
    • Shell
      • Zsh
        • Zsh plugins
    • My file system
    • Dotfiles
  • Networking
    • HTTP
    • DNS
    • Peer to peer
      • IPFS
      • BitTorrent
    • Internet of things
      • LoRaWAN
    • Microservices
    • Decentralization
    • Nginx
    • VPN
      • WireGuard
    • GraphQL
    • SSH
    • Domains
    • QUIC
    • WebSocket
    • File sharing
  • Tools
    • CodeSandbox
    • GitBook
    • Dropbox
    • Telegram
    • Product Hunt
    • DuckDuckGo
    • IFTTT
    • Dat
    • Email
  • Analytics
  • Databases
    • PostgreSQL
    • Redis
    • RabbitMQ
    • DynamoDB
    • FoundationDB
    • SQL
    • Memcached
  • Psychology
    • Addiction
    • Biases
    • Negotiating
    • Marketing
  • Work
    • Finding work
      • Interviews
      • CV
      • Hiring
      • Contracting
    • Remote work
    • Consultancies
  • Management
    • Product Management
  • CLI
    • sed
    • tmux
  • Podcasts
Powered by GitBook
On this page

Was this helpful?

Programming languages

PreviousHTMLNextGo

Last updated 6 years ago

Was this helpful?

There is an 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

  • - Funny de tour of programming languages.

  • - Curated list of static analysis tools, linters and code quality checkers for various programming languages.

  • - Idiomatic Rockstar is the best thing ever.

  • - Language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.

  • - Place to discover languages on GitHub.

  • -

  • ()

  • - Collection of implementations of miniature programming languages.

awesome article
Awesome programming languages
Tour de Babel
Programming Language Theory
Conal Elliott - Teaching New Tricks to Old Programs (2017)
Awesome static analysis
Lists of most popular repositories for most favored programming languages
Rockstar
FizzBuzz implementation
Twelf
GitHut
Type inference (2018)
Little Languages
(Lobsters)
Course page Types and Semantics for Programming Languages (2018)
Smallest possible syntactically valid files of different types
History of Programming Languages course
GitHub repo
The Programming Language I’m Looking For (2018)
Go, Tooling, and New Languages (2016)
Programming paradigms for dummies: what every programmer should know (2019)
What, if anything, is a programming paradigm? (2017)
Programming Languages Zoo
Thinking in a Language (2019)
What are some niche features you'd like to see in more languages? (2019)