Repository Index

Python SQL Parser and Transpiler

• transpiler
• sql
• python
• parser

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

• code-analysis
• code-transformation
• metaprogramming
• code-generation

transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!

• coffeescript
• bash
• transpiler

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• formal-verification
• formal-methods
• formal-specification
• ada

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

Sparkline Charts for Blazor using Fonts

• webassembly
• blazor
• sparkline

SPARK TOTP library

• spark
• 2fa
• 2fa-security
• ada

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada