Here are some projects contain many coding style.
- execrism.io
- Quickly ramp up in new programming languages.
- repl.it
- try repl language
- project based learning
- Curated list of project-based tutorials
- catala-lang
- Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts.
- swarm
- Resource gathering + programming game
A whole list of PL can be found on wikipedia. Here lists some languages and their development tools.
- embedded scripting language
- agda
- cc
- coq
- dart
- haskell
- hol
- idris
- lisp
- perl
- python
- r
- ruby
- rust
- tcl
- web
- sql
- enso
- visualization programming
- benchmarks
- Some benchmarks of different languages
- brill
- an educational compiler intermediate representation