SuiRedPacket github.com

A red packet social app that combines private chat and encrypted wallet on Sui.

Lenra template github.com

The Lenra template to write V app for Lenra platform.

boj-server github.com

Unified developer tool server using V for the network adapter layer. Exposes REST (port 7700), gRPC (7701), and GraphQL (7702) from a single V codebase. 18 capability cartridges loaded via Zig FFI with Idris2-verified interfaces.

vjsx github.com

V bindings to quickjs javascript engine. Run JS in V.

httest github.com

A CGI-enabled HTTP test server for mocking backends, inspecting requests and simulating latency and failures.

slugify github.com

Transform Unicode strings to url-friendly human-readable ASCII slugs.

vcli github.com

A CLI tool to generate folder structure according to the guideline

Vim github.com

Weather App github.com

Snake Game github.com

Matrix Rain github.com

base58-ada github.com

Base58 encoding and decoding in Ada.

ascon-spark github.com

Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.

coreland-openal-ada github.com

Ada binding to OpenAL.

adawebui github.com

GUI based on adawebpack.

ada-ga github.com

Genetic Algorithm Implementation for Ada.

tiled-code-gen github.com

Code generator for Tiled the map editor.

oto github.com

Ada binding to OpenAL which tries to mimic original API while using Ada types.

ada-fuzzy github.com

A fuzzy inference system library for Ada.

tp7-ada-gtkada github.com

Implementation of Turbo Pascal 7.0 units with gtkada.

xml-ez-out github.com

Library for emitting XML from Ada programs.

ada-win32 github.com

Ada bindings for the Microsoft Win32 Api.

Straylight github.com

A simple monolithic RISC-V operating system developed in Ada.

tictactoe github.com

A tictactoe game written and proven in SPARK/Ada.

ngl widget github.com

Cytoscape widget github.com

lmdb github.com

random-ua github.com

nonempty github.com

with-redefs github.com

testiere-mode github.com

sigil github.com

rollbar.lisp github.com

trivial-imap github.com

log4cl-json github.com

XMLSerializer github.com

Library which allows data serialisation from ActionScript to XML and from XML to ActionScript.

HalcyonPDF github.com

OpenStreetMap PDF renderer.

FiniteStateMachine github.com

Finite State Machine for AI bot/agent.

DecisionTree github.com

Binary decision tree for AI bot/agent.

Toaster github.com

Simple feedback about an operation in a small popup. .

GCM github.com

Use Google Cloud messaging on Android and iOS. .

FlexibleMatrix github.com

A multi purpose Matrix class.

A-star_pathfinder github.com

A-Star pathfinding interface for tile based maps.

Fxp-as3 github.com

Functional library inspired by the "mostly adequate guide".

Inspirit Image github.com

FFT, SURF, edge detection, fluid solver, etc.

redada github.com

Interactive visualization of weighted graphs using GraphML files.

CannonML github.com

keim's CannonML (shmup scripting language) interpreter.

tooling-cmake-util github.com

prime github.com

A prime number generator

host_meta github.com

A Web Host Metadata (https://tools.ietf.org/html/rfc6415) client