Amin Timany (amintimany)

amintimany

Geek Repo

Company:Aarhus University

Location:Aarhus, Denmark

Home Page:https://cs.au.dk/~timany

Twitter:@amintimany

Github PK Tool:Github PK Tool

Amin Timany's repositories

Categories

A formalization of category theory in the Coq proof assistant.

NbE

Normalization by Evaluation for STLC

Language:CoqStargazers:4Issues:2Issues:0
Language:CoqStargazers:4Issues:4Issues:0
Language:CoqLicense:NOASSERTIONStargazers:1Issues:2Issues:0
Language:CoqStargazers:1Issues:4Issues:0
Language:Emacs LispStargazers:0Issues:3Issues:0

.emacs.d

My .emacs.d folder

Language:Emacs LispStargazers:0Issues:3Issues:0
Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

autosubst

Automation for de Bruijn syntax and substitution in Coq

Language:CoqStargazers:0Issues:2Issues:0

column-enforce-mode

Highlight text that extends beyond a certain column. Can be used to enforce 80 column rule (well more like suggest, not enforce)

Language:Emacs LispStargazers:0Issues:3Issues:0

company-coq

IDE extensions for Proof General's Coq mode

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:3Issues: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

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:3Issues:0

homebrew-core

:beers: Core formulae for the Homebrew package manager

Language:RubyLicense:NOASSERTIONStargazers:0Issues:3Issues:0

iris

My personal copy of iris(https://gitlab.mpi-sws.org/FP/iris-coq.git)

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:CoqStargazers:0Issues:5Issues:0

iris-logrel

Logical relations in iris.

Language:CoqStargazers:0Issues:3Issues:0
Stargazers:0Issues:2Issues:0
Language:CoqStargazers:0Issues:2Issues:0

iris-spanning-tree

Verification of a concurrent in-place spanning tree algorithm in Iris

Language:TeXStargazers:0Issues:2Issues:0

iris-with-logrel-backup

My copy of iris development

Language:CoqLicense:NOASSERTIONStargazers:0Issues:3Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Issues:3Issues:0
Language:CoqLicense:MITStargazers:0Issues:4Issues:0

setcoq

A simple way to manage multiple versions of Coq

Language:ShellStargazers:0Issues:3Issues:0
Language:CoqStargazers:0Issues:3Issues:0
Language:TeXStargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:4Issues:0

verifast

Research prototype tool for modular formal verification of C and Java programs

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0