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
  • lamdu
  • 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 — The Lamdu IDE

Pinned Loading

  1. lamdu lamdu Public

    lamdu - towards the next generation IDE

    Haskell 1.9k 77

Repositories

Loading
Type
Language
Sort
Showing 10 of 23 repositories
  • lamdu Public

    lamdu - towards the next generation IDE

    Uh oh!

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

    lamdu/lamdu's past year of commit activity
    Haskell 1,895 GPL-3.0 77 24 (2 issues need help) 1 Updated Nov 1, 2026
  • hypertypes Public

    Hypertypes - generic programming for heterogeneous recursive types

    Uh oh!

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

    lamdu/hypertypes's past year of commit activity
    Haskell 125 10 3 0 Updated Aug 27, 2026
  • lamdu-calculus Public

    An extended typed Lambda Calculus

    Uh oh!

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

    lamdu/lamdu-calculus's past year of commit activity
    Haskell 22 3 0 0 Updated Aug 20, 2026
  • hypertypes-ast Public

    AST, unification, and type inference utilities for hypertypes

    Uh oh!

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

    lamdu/hypertypes-ast's past year of commit activity
    Haskell 0 0 1 0 Updated Jun 24, 2026
  • momentu Public

    A purely functional animated GUI framework

    Uh oh!

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

    lamdu/momentu's past year of commit activity
    Haskell 18 2 0 0 Updated Jun 22, 2026
  • bindings-GLFW Public Forked from bsl/bindings-GLFW

    Low-level Haskell bindings to GLFW

    Uh oh!

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

    lamdu/bindings-GLFW's past year of commit activity
    C 1 BSD-2-Clause 33 0 0 Updated Jun 22, 2026
  • bindings-freetype-gl Public

    Low-level Haskell bindings for the freetype-gl library

    Uh oh!

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

    lamdu/bindings-freetype-gl's past year of commit activity
    C 2 BSD-3-Clause 1 1 1 Updated Oct 15, 2025
  • freetype2 Public Forked from dagit/freetype2

    My personal branch of the freetype2 source code

    Uh oh!

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

    lamdu/freetype2's past year of commit activity
    C 1 17 0 0 Updated May 20, 2025
  • text-trie Public Forked from michaeljklein/text-trie

    An efficient finite map from Text to values, based on bytestring-trie.

    Uh oh!

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

    lamdu/text-trie's past year of commit activity
    Haskell 1 BSD-3-Clause 24 0 0 Updated May 15, 2025
  • GLFW-b Public Forked from bsl/GLFW-b

    Haskell bindings to GLFW

    Uh oh!

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

    lamdu/GLFW-b's past year of commit activity
    Haskell 1 BSD-2-Clause 34 0 0 Updated Apr 26, 2025
View all repositories

People

@Peaker @yairchu

Sponsors

  • @disconcision
  • @cyrus-

Top languages

Loading…

Uh oh!

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

Most used topics

Loading…

Uh oh!

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

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.