Repository Index

Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.

• browser
• javascript
• webui
• vwebui

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

Actor library for C# with additional modules that support persistence to Redis, as well as JS integration

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

Simple internal application messaging for Delphi

• dpmpackage
• delphi
• vsoft
• vcl

Common Lisp Yacc

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Experiment to compile something Elm-ish to Wasm

Parse, manipulate and render CommonMark in Scala Native

• commonmark
• scala
• scala-native

Apache Kafka Ada client library, based off of librdkafka

Ada 2012 library for WeeChat plug-ins

• weechat
• weechat-plugin
• ada

Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)

• rust
• yew
• wasm
• bootstrap

Go library for Russian GOST cryptography (digital signatures, Streebog hash, Kuznechik cipher, MGM AEAD) backed by OpenSSL gost-engine

• aead
• block-cipher
• cryptography
• digital-signatures