Giters
Radu Mereuta (radumereuta)

radumereuta

Geek Repo

8

followers

3

following

1

stars

Company:RuntimeVerification

Location:Iasi, Romania

Github PK Tool:Github PK Tool

Organizations
kframework

Radu Mereuta's repositories

k-light

The K parser focused only on parsing programs.

Language:JavaStargazers:1Issues:0Issues:0

c-semantics

Semantics of C in K

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

java-front-parser

Language:JavaStargazers:0Issues:0Issues:0

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

Language:JavaScriptStargazers:0Issues:0Issues:0

k

K Framework Tools 5.0

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

k-in-k

Defining the semantics of K in K

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

k-legacy

The K tools

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

k-semantics

This repository includes the K specifications of the Alk language and of its dialects.

Language:PerlStargazers:0Issues:0Issues:0

kore

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

kparser

Language:RustStargazers:0Issues:0Issues:0

verified-smart-contracts

Smart contracts which are formally verified

License:NOASSERTIONStargazers:0Issues:0Issues:0