Giters
Ana Pantilie (ana-pantilie)

ana-pantilie

Geek Repo

7

followers

2

following

2

stars

Company:@input-output-hk

Github PK Tool:Github PK Tool

Organizations
kframework

Ana Pantilie's repositories

cryptozombies

Truffle project with code from https://github.com/loomnetwork/cryptozombie-lessons

Language:JavaScriptStargazers:1Issues:0Issues:0

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:MakefileLicense:NOASSERTIONStargazers:1Issues:0Issues:0

fastai

The fastai deep learning library, plus lessons and and tutorials

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1Issues:0Issues:0

k

K Framework Tools 5.0

Language:JavaLicense:NOASSERTIONStargazers:1Issues:0Issues:0

kore

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

purescript-behaviors

A simple push-pull FRP implementation

Language:PureScriptLicense:MITStargazers:1Issues:0Issues:0

verified-smart-contracts

Smart contracts which are formally verified

Language:PythonStargazers:1Issues:0Issues:0

wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Language:WebAssemblyLicense:NOASSERTIONStargazers:1Issues:0Issues:0

haskell-music-engine

A work in progress...

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