Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tla2json

Convert TLA+ output (and values) into JSON
Stars
16
License
apache-2.0
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
Scala
Total Releases
2
Latest Release
March 02, 2021
Categories
Repo
Alternatives To Tla2json
Select To Compare
Json Server ⭐ 70,206
Get a full fake REST API with zero coding in less than 30 seconds (seriously)
dependent packages 303total releases 128most recent commit 4 months agonpm json-server} Downloads
Fastapi ⭐ 67,331
FastAPI framework, high performance, easy to learn, fast to code, ready for production
dependent packages 2,959total releases 183most recent commit 3 months agopypi fastapi} Downloads
Prettier ⭐ 48,252
Prettier is an opinionated code formatter.
dependent packages 259,630total releases 147most recent commit 17 days agonpm prettier} Downloads
Json ⭐ 38,831
JSON for Modern C++
dependent packages 9total releases 11most recent commit 3 months ago
Sheetjs ⭐ 34,508
📗 SheetJS Spreadsheet Data Toolkit -- New home https://git.sheetjs.com/SheetJS/sheetjs
dependent packages 4,357total releases 171most recent commit 20 days agonpm xlsx} Downloads
Hutool ⭐ 28,402
🍬A set of tools that keep Java sweet.
dependent packages 649total releases 190most recent commit 9 days ago


Suggest An Alternative To tla2json
Popular Data Formats Categories
Json
Markdown
Xml
Schema
Csv
Yaml
Latex
Encoding
Qr Code
Protocol Buffers
Related Searches
Json Scala
Tla Tlaplus
Tla Tlc
Tlaplus Tlc
Scala Tla

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Json
Scala
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.