Beast code in Giters

Denis Erfurt's repositories

jslinux-truebit

Language:C4 30

abi2

abi to something - helpers

Language:JavaScript020

coc-isabelle

hacky version to make isabelle work with my vim setup

Language:TypeScriptMIT030

CompMeta

020

covid-crawler-script

Language:JavaScript020

cyclejs-cookie

CycleJS Cookie Driver

Language:JavaScript010

dappci

dappci webpage for displaying proofs and stuff

Language:JavaScript020

dapptools

Dapp, Seth, Hevm, and more

Language:Haskell020

eth-conductor

Language:Nix020

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:MakefileNOASSERTION020

flake-templates

Language:Nix020

haskell-toy

Language:NixMIT000

isabelle-test

Language:Isabelle030

k

K Framework Tools 5.0

Language:JavaNOASSERTION020

k-token

formal verification of the medallion token

Language:Makefile020

klab-delegatecall

Language:GCC Machine DescriptionAGPL-3.0020

lpk

Language:Jupyter Notebook030

maid

src manager

Language:Shell020

manix

A fast CLI documentation searcher for Nix.

Language:RustMPL-2.0010

mcrl2-tests

Language:Nix030

memehub.github.io

Language:HTML020

neovim-config

Language:Lua020

react-native

Cycle.js driver that uses React Native to render

Language:TypeScriptMIT020

remarcable-screen

020

secret

psssst

030

signaling_games

Language:Jupyter Notebook010

verified-smart-contracts

Smart contracts which are formally verified

Language:Python020

vimwiki

Personal Wiki for Vim

Language:Vim ScriptNOASSERTION010

xcolor

cli color helper

Language:JavaScript020

xstream

An extremely intuitive, small, and fast functional reactive stream library for JavaScript

Language:TypeScriptMIT020