Giters
Lennard Gäher (lgaeher)

lgaeher

Geek Repo

5

followers

2

following

27

stars

Company:IBM Research Zurich

Location:MPI-SWS & Saarland University

Home Page:https://people.mpi-sws.org/~gaeher/

Github PK Tool:Github PK Tool

Organizations
IBM

Lennard Gäher's repositories

ACE-RISCV

Assured Confidential Execution (ACE) for RISC-V

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

base-library

Language:CoqLicense:MITStargazers:0Issues:1Issues:0

Clementine

:tangerine: Clementine Music Player

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues: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:1Issues:0

coq-library-complexity

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

coq-library-undecidability

A library of formalised undecidable problems in Coq

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

latex-unicoder.vim

A plugin to type Unicode chars in Vim, using their LaTeX names.

Language:Vim ScriptStargazers:0Issues:1Issues:0

metacoq

Metaprogramming in Coq

Language:CoqLicense:MITStargazers:0Issues:1Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

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

SOSML

An interpreter for Standard ML written in TypeScript.

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

thesis-template

A LaTeX template for Bachelor or Master theses

Language:TeXStargazers:0Issues:1Issues:0