SkipLabs

SkipLabs

Geek Repo

Github PK Tool:Github PK Tool

SkipLabs's repositories

skdb

SKDB is an embedded SQL database that stays in sync.

Language:TypeScriptLicense:MITStargazers:127Issues:4Issues:32

pliss

Skip material for PLISS 2022

Language:LLVMLicense:MITStargazers:4Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0

research

Research code for incremental compilation/static analysis

License:MITStargazers:1Issues:3Issues:0

todo-app

Example SKDB web application

Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0

skdb_minimal

A minimal example using skdb in a browser

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

skdb_vite_react_starter

Starter template for an SKDB+React package, bundled using vite.

Language:TypeScriptStargazers:0Issues:0Issues:0

SKIncr

Research project around incremental compilation and static analysis

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0

SkipLabsDays

Material for SkipLabs days (7-8-9) June 2022 in Paris

Stargazers:0Issues:0Issues:0

skdb_node_starter

Starter template for an SKDB package using Node.js

Language:TypeScriptStargazers:0Issues:0Issues:0

vscode-skip

VSCode extension for Skip

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0