Skip to content

@links-lang The Links Programming Language

Change the repository type filter

All

    Repositories list

    13 repositories

    • links-lang.github.io

      Public
      Links webpage, static content
      HTML
      •8•3•1•1•Updated Aug 1, 2025Aug 1, 2025

    • links

      Public
      Links: Linking Theory to Practice for the Web
      tierlesssession-typesweb-programmingmulti-tiereffect-handlerslanguage-integrated-query
      OCaml
      •
      Other
      •44•341•160•6•Updated Jul 18, 2025Jul 18, 2025

    • TryLinks-Client-v2

      Public archive
      Rewritten TryLinks frontend in Angular TS
      TypeScript
      •1•1•0•0•Updated Jul 25, 2024Jul 25, 2024

    • TryLinks-Client

      Public archive
      Dart
      •1•1•0•0•Updated Jul 25, 2024Jul 25, 2024

    • TryLinks-Server

      Public archive
      Trylinks undergraduate honors project for the server
      JavaScript
      •2•0•0•0•Updated Jul 25, 2024Jul 25, 2024

    • splv2023_example_code

      Public
      Example code used in the SPLV 2023 talk
      Shell
      •0•0•0•0•Updated Jul 24, 2023Jul 24, 2023

    • links-benchmarks

      Public
      a curated collection of programs used to benchmark various components of Links
      Shell
      •
      Other
      •4•1•1•0•Updated Jun 20, 2022Jun 20, 2022

    • links-examples

      Public
      Example Links applications
      CSS
      •1•2•0•1•Updated Jan 14, 2021Jan 14, 2021

    • links-tutorial

      Public
      Tutorial examples for getting started with Links
      PLpgSQL
      •
      MIT License
      •1•4•0•0•Updated Sep 30, 2020Sep 30, 2020

    • documentation

      Public
      In-progress Sphinx documentation for Links
      Python
      •0•3•0•0•Updated Aug 27, 2019Aug 27, 2019

    • misc

      Public
      Miscellaneous Links content
      JavaScript
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 20, 2019Aug 20, 2019

    • vim-links

      Public
      Vim plugin for Links
      Vim Script
      •1•0•0•0•Updated May 20, 2019May 20, 2019

    • links-data

      Public
      Data dumps from examples with larger databases
      SQLPL
      •0•4•0•0•Updated May 8, 2017May 8, 2017