Repository Index

C# pure functional programming framework - come and get declarative!

• c-sharp
• functional-languages
• monads
• monad-transformers

Handcrafted Go bindings for libVLC and high-level media player interface

• libvlc
• go
• vlc
• bindings

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

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

• parser
• binary-parser
• ada
• spark