Lib.rs

› Parser implementations
#kind #compiler #parser #grammar

kind-parser

Parser for the kind compiler

Owned by Sofia Rodrigues.

4 releases

0.1.3 May 11, 2023
0.1.2 Apr 2, 2023
0.1.1 Mar 3, 2023
0.1.0 Jan 26, 2023

#2531 in Parser implementations


Used in 3 crates (2 directly)

MIT license

105KB
2.5K SLoC

Crate to parse the kind2 grammar.

Dependencies

~8–16MB
~218K SLoC