Giters
Constantine Ter-Matevosian (breakerzirconia)

breakerzirconia

Geek Repo

12

followers

4

following

22

stars

Location:Mental Hell

Github PK Tool:Github PK Tool

Constantine Ter-Matevosian's repositories

Binks

Language:HaskellLicense:MITStargazers:1Issues:1Issues:0

FirstOrderLogic

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

s-infinity

Language:LeanLicense:MITStargazers:1Issues:1Issues:0

ContinuedFractions

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

FileSystem

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

haskell-backend

The symbolic execution engine powering the K Framework

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

kripke-semantics

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

LambdaCalculus

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

LeanTransformers

Language:LeanStargazers:0Issues:2Issues:0

MathLogic

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

PolynomialType

Stargazers:0Issues:2Issues:0

PrimitiveRecursiveFunctions

Language:C++Stargazers:0Issues:2Issues:0

sssystem

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

TrivialPythonFunctionDeclarationParser

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

tt2018-conspect

Language:TeXStargazers:0Issues:1Issues:0