This is stars and forks stats for /project-everest/everparse repository. As of 25 Apr, 2024 this repository has 224 stars and 8 forks.
EverParse Linux Windows EverParse is a framework for generating verified secure parsers from DSL format specification languages. It consists of LowParse, a verified combinator library (in src/lowparse), and QuackyDucky, an untrusted message format specification language compiler. For more information, you can read: The EverParse project website and user manual, also available in the doc subdirectory of this repository as *.rst reStructuredText files. our Microsoft Research blog post our PLDI 2022...
EverParse Linux Windows EverParse is a framework for generating verified secure parsers from DSL format specification languages. It consists of LowParse, a verified combinator library (in src/lowparse), and QuackyDucky, an untrusted message format specification language compiler. For more information, you can read: The EverParse project website and user manual, also available in the doc subdirectory of this repository as *.rst reStructuredText files. our Microsoft Research blog post our PLDI 2022...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
sdkman/sdkman-cli | GherkinShellGroovy | 5.6k | +10 | 622 | +1 |
opencypher/openCypher | GherkinJavaScala | 773 | 0 | 143 | 0 |
KhronosGroup/SPIRV-Cross | GLSLC++JavaScript | 1.8k | +7 | 508 | +2 |
Foltys/satnik | HandlebarsTypeScriptJavaScript | 0 | 0 | 0 | 0 |
mwotton/squealgen | HaskellShellPLpgSQL | 25 | 0 | 3 | 0 |
input-output-hk/cardano-addresses | HaskellJavaScriptTypeScript | 130 | 0 | 36 | 0 |
stacksimplify/terraform-iacdevops-with-aws-codepipeline | HCLShell | 118 | 0 | 986 | 0 |
MichaHoffmann/tree-sitter-hcl | HCLCJavaScript | 61 | 0 | 14 | 0 |
hashicorp/terraform-aws-consul | HCLShellGo | 400 | 0 | 483 | 0 |
cloudposse/terraform-aws-transit-gateway | HCLGoMakefile | 43 | 0 | 45 | 0 |