v 1.4.2
A simple and fast library for text-based parser combinators
A library for reading and analyzing ASCII STL 3D model files.
Published about 6 years ago
A library for reading/parseing/writing todo.txt files
Published about 4 years ago
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
Published 10 hours ago
mix.exs
rebar.config
erlang.mk
this version
6 397 293
yesterday
32 500
last 7 days
175 722
all time
103 065 352
Last Updated
Jan 21, 2025
License
Apache-2.0
Build Tools
Publisher