Giters
Matthias Benkort (KtorZ)

KtorZ

Geek Repo

413

followers

9

following

150

stars

Company:@cardano-foundation

Location:Toulouse

Twitter:@_KtorZ_

Github PK Tool:Github PK Tool

Organizations
aiken-lang
cardano-foundation
CardanoSolutions
elm-toulouse
MostlyAdequate
txpipe

Matthias Benkort's repositories

dotfiles

Gather config files I use.

Language:Vim ScriptStargazers:1Issues:3Issues:0

offchain-metadata-server

A simple Cardano CIP-22 Implementation in Rust

Language:RustLicense:MITStargazers:1Issues:1Issues:0

aiken-analytics

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

aiken-fuzz

Language:NixStargazers:0Issues:0Issues:0

ak-381

Aiken implementation of Groth16 validator using bls12-381 curve.

Language:JavaScriptStargazers:0Issues:1Issues:0

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

Language:Vim ScriptLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

awesome-starter-kits

Community-driven curated list of awesome Starter Kits

License:MITStargazers:0Issues:1Issues:0

cardano-documentation

Language:TypeScriptStargazers:0Issues:0Issues:0

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

cbor-x

Ultra-fast CBOR encoder/decoder with extensions for records and structural cloning

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

cddl-cat

A Rust library for validating CBOR or JSON data against a CDDL schema specification

Language:RustLicense:MITStargazers:0Issues:0Issues:0

CIPs

Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:2Issues:0

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

developer-portal

The Cardano Developer Portal

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

docs-cardano-org

Documentation for Cardano

Language:CSSStargazers:0Issues:2Issues:0

editor-integration-nvim

A plugin for working with Aiken on Vim / NeoVim.

Language:Vim ScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

elm-compiler

Compiler for Elm, a functional language for reliable webapps.

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

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

holberton

Language:JavaScriptStargazers:0Issues:0Issues:0

kube

Kube is a professional and a responsive Hugo theme for developers and designers that offers a documentation section mixed with a landing page and a blog.

Language:CSSLicense:MITStargazers:0Issues:1Issues:0

lips

Litecoin Improvement Proposals. See https://github.com/bitcoin/bips

Stargazers:0Issues:2Issues:0

mostly-adequate-guide

Mostly adequate guide to FP (in javascript)

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:3Issues:0

nvim

Language:Vim ScriptStargazers:0Issues:1Issues:0

ogmios-client-starter-kit

A Demeter starter kit that shows how to use Ogmios' Typescript client

Language:TypeScriptStargazers:0Issues:1Issues:0

ogmios-typedoc-theme

infragistics typedoc theme

Language:CSSLicense:MITStargazers:0Issues:2Issues:0

ouroboros-network

An implementation of the Ouroboros family of consensus algorithms, with its networking support

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

pallas

Rust-native building blocks for the Cardano blockchain ecosystem

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

pycardano

A lightweight Cardano library in Python

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

state-of-elm

An Elm community survey

Language:ElmLicense:MITStargazers:0Issues:1Issues:0