数学

RedPRL

受 Nuprl 启发而开发的基于策略的计算笛卡尔立方类型理论证明助手。RedPRL 实现了两级立方类型理论，其中包括单等...

565

Standard ML

FastView Compare

未分类

sb-admin-svelte

StartBootstrap SB Admin rebuilt using Svelte + Sveltestrap

853

CSS

FastView Compare

JavaScript

sapper-ie

Sapper working in IE11/Edge

561

JavaScript

FastView Compare

  1.2k

JavaScript

svelte-select

A select component for Svelte apps

797

JavaScript

FastView Compare

未分类

svelma

Bulma components for Svelte

749

HTML

FastView Compare

未分类

Pelican SVBHACK

pelican-svbhack 是一款用于 Pelican 的响应式主题，是我对类似于 svbtle 的主题进行的魔改。...

730

HTML

FastView Compare

Java

Apache MiNiFi

Apache MiNiFi 镜像。Apache NiFi - MiNiFi 是一种补充性的数据收集方法，它补充了 NiF...

477

Java

FastView Compare

未分类

svelte-toolbox

A UI component library for Svelte implementing Google's Mate...

815

Svelte

FastView Compare

未分类

svelte-mui

Simple Svelte 3 UI components

610

Svelte

FastView Compare

未分类

svelte-svg-patterns

Create seamless patterns in SVG to use as website background...

574

Svelte

FastView Compare

未分类

svelte-ionic-app

Ionic UI showcase app - try Ionic UI and directly go to API ...

890

Svelte

FastView Compare

  1k

未分类

Attractions

用于 Svelte 的超酷用户界面套件。「A pretty cool UI kit for Svelte」

749

Svelte

FastView Compare