GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • alux-network
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — ALUX

Pinned Loading

  1. alux-rust alux-rust Public

    Typed Rust specifications, interpreted by frameworks you choose

    Rust 4 4

  2. alux-programming alux-programming Public

    ALUX programming guidelines

    TypeScript 2 2

  3. alux-network-website alux-network-website Public

    ALUX Network Website

    HTML 3 1

  4. alux-cli-example alux-cli-example Public

    Notes app CLI as one alux-cli spec in Rust and Markdown, each compiling to the other

    Rust 1

Repositories

Loading
Type
Language
Sort
Showing 5 of 5 repositories
  • alux-rust Public

    Typed Rust specifications, interpreted by frameworks you choose

    Uh oh!

    There was an error while loading. Please reload this page.

    alux-network/alux-rust's past year of commit activity
    Rust 4 MIT 4 0 0 Updated Nov 9, 2026
  • alux-cli-example Public

    Notes app CLI as one alux-cli spec in Rust and Markdown, each compiling to the other

    Uh oh!

    There was an error while loading. Please reload this page.

    alux-network/alux-cli-example's past year of commit activity
    Rust 1 MIT-0 0 0 0 Updated Nov 5, 2026
  • alux-network-website Public

    ALUX Network Website

    Uh oh!

    There was an error while loading. Please reload this page.

    alux-network/alux-network-website's past year of commit activity
    HTML 3 1 0 0 Updated Nov 3, 2026
  • alux-programming Public

    ALUX programming guidelines

    Uh oh!

    There was an error while loading. Please reload this page.

    alux-network/alux-programming's past year of commit activity
    TypeScript 2 2 1 1 Updated Oct 29, 2026
  • heroku-openresty-http-sig-buildpack Public

    Uh oh!

    There was an error while loading. Please reload this page.

    alux-network/heroku-openresty-http-sig-buildpack's past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated May 24, 2024

People

@tgrospic

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

alux compositionality denotational-design design-by-meaning tagless-final
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.