Skip to content
@storm-framework

storm-framework

Popular repositories

  1. storm storm Public

    Static security for database-backed Haskell applications using Liquid Haskell

    Haskell 18

  2. voltron voltron Public

    Collaborative text-editing while teaching

    Haskell 6

  3. disco disco Public

    Distant Socialing

    Haskell 1

  4. artifact artifact Public

    Artifact accompanying paper

    Haskell 1 1

  5. storm-codegen storm-codegen Public

    Haskell

  6. vscode vscode Public

    Syntax Highlighting for Binah files

    TypeScript

Repositories

Showing 9 of 9 repositories
  • vscode Public

    Syntax Highlighting for Binah files

    TypeScript 0 0 0 1 Updated Jul 18, 2023
  • voltron Public

    Collaborative text-editing while teaching

    Haskell 6 0 0 26 Updated Dec 13, 2022
  • disco Public

    Distant Socialing

    Haskell 1 0 0 24 Updated Dec 11, 2022
  • demo Public

    Tutorial "wishlist" application

    Haskell 0 BSD-3-Clause 0 0 0 Updated Jul 15, 2021
  • storm-framework.github.io Public

    Public website for STORM

    HTML 0 0 0 0 Updated Jul 15, 2021
  • storm-codegen Public
    Haskell 0 BSD-3-Clause 0 0 0 Updated Jul 15, 2021
  • artifact Public

    Artifact accompanying paper

    Haskell 1 MIT 1 0 0 Updated May 21, 2021
  • storm Public

    Static security for database-backed Haskell applications using Liquid Haskell

    Haskell 18 BSD-3-Clause 0 0 1 Updated May 19, 2021
  • core Public

    A reference implementation of a core subset of STORM verified with LiquidHaskell

    Haskell 0 MIT 0 0 0 Updated Apr 30, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…