Repositories list

• links

  Public
  Links: Linking Theory to Practice for the Web

  tierlesssession-typesweb-programming+ 3multi-tiereffect-handlerslanguage-integrated-query

  OCaml

  •

  Other

  •42•320•158•5•Updated Jul 29, 2024Jul 29, 2024

• 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

• links-lang.github.io

  Public
  Links webpage, static content

  HTML

  •7•3•1•1•Updated Jul 19, 2024Jul 19, 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

  •0•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

  •0•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