Giters
Octavian Mircea Sebe (MirceaS)

MirceaS

Geek Repo

8

followers

1

following

0

stars

Company:UIUC/Pi Squared

Location:MI, USA

Github PK Tool:Github PK Tool

Octavian Mircea Sebe's repositories

monoidal-nets

Formalisation of Monoidal Hypernets and Hypergraphs used to model lambda calculus

Language:AgdaStargazers:4Issues:3Issues:0

questlang

Language:OCamlStargazers:1Issues:0Issues:0

agda-categories

A new Categories library

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

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

CS474

Repository for Homework submissions for the course CS 474 - Logic in Computer Science (UIUC SP23)

Language:SMTStargazers:0Issues:1Issues:0

Data-structure

General C++ data structures

Language:C++Stargazers:0Issues:1Issues:0

gfs-maude

High level model checking of Google File System in Maude

Stargazers:0Issues:1Issues:0

Hekzagon

Interactive hexagonal tesselation

Language:JavaScriptStargazers:0Issues:1Issues:0

nominal-logic-mm0

Formalisation of Nominal Logic in Metamath Zero

Stargazers:0Issues:1Issues:0

stacklands-electric

A fun lil mod for the game Stacklands

Language:PythonStargazers:0Issues:0Issues:0