html table nicer
This commit is contained in:
parent
625233299a
commit
0420a41d3d
77
README.md
77
README.md
@ -41,11 +41,72 @@ The main idea is to use these new languages to solve relevant problems!
|
||||
```
|
||||
|
||||
## Current language goals
|
||||
<!-- table -->
|
||||
| Language | Idea | Category | Algorithmics? | Practical? | Course? |
|
||||
| --- | --- | --- | --- | --- | --- |
|
||||
|  | Daily drive | General | ✅ | ✅ | ❌ |
|
||||
|  | Daily drive | General | ✅ | ✅ | ❌ |
|
||||
| | Understand functional programming | Theory | ✅ | ❌ | ✅ |
|
||||
| | Understand formal verification | Theory | ❌ | ❌ | 🤷 |
|
||||
| | Understand data parallelism | Theory/Fun | ❌ | ❌ | ❌ |
|
||||
|
||||
<!-- html table of the above -->
|
||||
<table>
|
||||
<tr>
|
||||
<th>Language</th>
|
||||
<th>Idea</th>
|
||||
<th>Category</th>
|
||||
<th>Algorithmics?</th>
|
||||
<th>Practical?</th>
|
||||
<th>Course?</th>
|
||||
</tr>
|
||||
<tr>
|
||||
<td><a href="https://www.rust-lang.org/">
|
||||
<img src="https://upload.wikimedia.org/wikipedia/commons/thumb/2/20/Rustacean-orig-noshadow.svg/220px-Rustacean-orig-noshadow.svg.png" alt="Rust" height="50"/>
|
||||
</a></td>
|
||||
<td>Daily drive</td>
|
||||
<td>General</td>
|
||||
<td>✅</td>
|
||||
<td>✅</td>
|
||||
<td>❌</td>
|
||||
</tr>
|
||||
|
||||
<tr>
|
||||
<td><a href="https://www.swift.org/">
|
||||
<img src="https://raw.githubusercontent.com/devicons/devicon/master/icons/swift/swift-original.svg" alt="Swift" height="50"/>
|
||||
</a></td>
|
||||
<td>Daily drive</td>
|
||||
<td>General</td>
|
||||
<td>✅</td>
|
||||
<td>✅</td>
|
||||
<td>❌</td>
|
||||
</tr>
|
||||
|
||||
<tr>
|
||||
<td><a href="https://www.haskell.org/">
|
||||
<img src="https://raw.githubusercontent.com/devicons/devicon/master/icons/haskell/haskell-original.svg" alt="Haskell" height="50"/>
|
||||
</a></td>
|
||||
<td>Understand functional programming</td>
|
||||
<td>Theory</td>
|
||||
<td>✅</td>
|
||||
<td>❌</td>
|
||||
<td>✅</td>
|
||||
</tr>
|
||||
|
||||
<tr>
|
||||
<td><a href="https://coq.inria.fr/">
|
||||
<img src="https://dashboard.snapcraft.io/site_media/appmedia/2021/01/coq.png" alt="Coq" height="50"/>
|
||||
</a></td>
|
||||
<td>Understand formal verification</td>
|
||||
<td>Theory</td>
|
||||
<td>❌</td>
|
||||
<td>❌</td>
|
||||
<td>🤷</td>
|
||||
</tr>
|
||||
|
||||
<tr>
|
||||
<td><a href="https://futhark-lang.org/">
|
||||
<img src="https://hackage.haskell.org/package/futhark-0.25.28/docs/assets/ohyes.png" alt="Futhark" height="50"/>
|
||||
</a></td>
|
||||
<td>Understand data parallelism</td>
|
||||
<td>Theory/Fun</td>
|
||||
<td>❌</td>
|
||||
<td>❌</td>
|
||||
<td>❌</td>
|
||||
</tr>
|
||||
|
||||
</table>
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user