GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → hwayne → Learntla

hwayne / Learntla

Licence: cc-by-4.0
A TLA+ guide

Labels

csslearningguide

Projects that are alternatives of or similar to Learntla

Pure Sh Bible
📖 A collection of pure POSIX sh alternatives to external processes.
Stars: ✭ 3,246 (+1246.89%)
Mutual labels:  learning, guide
Pure Bash Bible
📖 A collection of pure bash alternatives to external processes.
Stars: ✭ 28,109 (+11563.49%)
Mutual labels:  learning, guide
Bash Handbook
📖 For those who wanna learn Bash
Stars: ✭ 4,691 (+1846.47%)
Mutual labels:  learning, guide
Java8 Tutorial
Modern Java - A Guide to Java 8
Stars: ✭ 15,276 (+6238.59%)
Mutual labels:  learning, guide
Digital video introduction
A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding).
Stars: ✭ 12,184 (+4955.6%)
Mutual labels:  learning, guide
markdown
A reference (guide) on how to write good GitHub markdown for READMEs or any .md file!
Stars: ✭ 40 (-83.4%)
Mutual labels:  learning, guide
Py2rs
A quick reference guide for the Pythonista in the process of becoming a Rustacean
Stars: ✭ 690 (+186.31%)
Mutual labels:  learning, guide
Free Programming Resources
💎 免费的编程资源大全，持续更新！🔥 覆盖各种语言和方向（Java \ Python \ C++ \ JavaScript \ Golang \ 前端 \ 后端等）的学习路线、贴心教程、项目实战、编程书籍、面试合集、实用资源等，对程序员非常有帮助！
Stars: ✭ 225 (-6.64%)
Mutual labels:  learning, guide
Golang For Nodejs Developers
Examples of Golang compared to Node.js for learning
Stars: ✭ 2,698 (+1019.5%)
Mutual labels:  learning, guide
Go Compression.github.io
The Hitchhiker's Guide to Compression
Stars: ✭ 106 (-56.02%)
Mutual labels:  learning, guide
Haskell Study Plan
An opinionated list of resources for learning Haskell
Stars: ✭ 493 (+104.56%)
Mutual labels:  learning, guide
Virgilio
Virgilio is developed and maintained by these awesome people. You can email us virgilio.datascience (at) gmail.com or join the Discord chat.
Stars: ✭ 13,200 (+5377.18%)
Mutual labels:  learning, guide
Core
D Language online tour (https://tour.dlang.org/) and online editor (https://run.dlang.io/)
Stars: ✭ 89 (-63.07%)
Mutual labels:  learning, guide
Docker Workshop
Docker workshop
Stars: ✭ 174 (-27.8%)
Mutual labels:  learning, guide
Tutorial Git
📘 어떻게 깃을 사용하는지 빠르게 알아봅시다. (Quick learn How to use Git.)
Stars: ✭ 188 (-21.99%)
Mutual labels:  learning, guide
Codecrumbs
Learn, design or document codebase by putting breadcrumbs in source code. Live updates, multi-language support and more.
Stars: ✭ 2,581 (+970.95%)
Mutual labels:  learning
Machine Learning For Learning Resources
This ebook from Jason Brownlee. Educational perpose only! Thanks to Jason for the books.
Stars: ✭ 221 (-8.3%)
Mutual labels:  learning
Kubernetes Security Best Practice
Kubernetes Security - Best Practice Guide
Stars: ✭ 2,540 (+953.94%)
Mutual labels:  guide
Today I Learned
📝 Today I Learned - A list of all things I learn on daily basis.
Stars: ✭ 240 (-0.41%)
Mutual labels:  learning
Howtobeaprogrammer
A guide on how to be a Programmer - originally published by Robert L Read
Stars: ✭ 14,912 (+6087.55%)
Mutual labels:  learning
View All Similar Projects ➔

This is the source code used to build the site Learn TLA+. The guide is aimed at beginners to formal method who want to use it for simple (but useful!) specifications. "Keep the server from exploding", not "Keep the spaceship from exploding".

Setup

  1. Clone repo
  2. Get Hugo
  3. Run with hugo server (on port 1313)
  4. Either set up my sad depressing Pygments plugin or set PygmentsCodeFences to false in config.toml
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].