Giters
Sigurd Schneider (sigurdschneider)

sigurdschneider

Geek Repo

30

followers

6

following

8

stars

Home Page:www.ps.uni-saarland.de/~sdschn

Github PK Tool:Github PK Tool

Organizations
cdl-saarland
uds-psl

Sigurd Schneider's repositories

lvc

LVC verified compiler

Language:CoqLicense:MITStargazers:56Issues:6Issues:0

smpl

A Coq plugin providing an extensible tactic similar to first.

Language:OCamlLicense:MITStargazers:3Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:2Issues:0

CodeMirror

In-browser code editor

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

CompCert

The CompCert C verified compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

containers

Containers: a typeclass-based library of finite sets/maps

Language:CoqStargazers:0Issues:2Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

coqtheorem

A LaTeX package to make ntheorem environment names link to coqdoc webpages

Language:TeXStargazers:0Issues:2Issues:0

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

polymer

Our original Web Component library.

Language:HTMLLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

WebFundamentals

Best practices for modern web development

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0