

 index.ts

 README.md

import path from 'path';
import { createDB } from './database';

const { PORT } = process.env; // Get environment variables.
const validExt = (p) => /\.[a-z0-9]{1,4}$/i.test(p);

/**
 * Application factory.
 * @return {App} Application instance
 */
 async function createApp(config: Config): App {
    return new App({
        port: Number(env.PORT ?? 8000),
        db: await createDB(config.db),
        ...config.app,
    });
}

Viper-Dark

By Chair of Programming Methodology - ETH Zurich

This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).

Install Open fullscreen preview

2,574 installs