Kelecorix, Inc. (kelecorix)

Kelecorix, Inc.

kelecorix

Geek Repo

R&D - Haskell/Rust/Dart

Home Page:https://kelecorix.com

Twitter:@kelecorix

Github PK Tool:Github PK Tool

Kelecorix, Inc.'s repositories

accumulate-tooling

The dashboard of Accumulate libraries and tools

License:Apache-2.0Stargazers:4Issues:2Issues:0

accumulate-haskell-client

Haskell client for Accumulate

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

accumulate-rust-client

Small rust client for Accumulate JSON RPC

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

covenant-playground

The Covenant Playground is a web service that runs on Accumulate nodes along with Covenant core. The service receives a Covenant smart-contract, wasm binary, compiles, and runs it.

License:MITStargazers:3Issues:3Issues:0

covenant

Covenant - modern programming language for blockchains - it's a functional, statically-typed language with formal verification features

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

api-liquid

https://developers.liquid.com/

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

avalanche-haskell-client

Haskell JSON-RPC client for the Avalanche protocol

License:MITStargazers:1Issues:2Issues:0

dizk

Distributed Zero Knowledge Proof System

fuel-dart-client

Fuel native Dart SDK

Language:DartLicense:MITStargazers:1Issues:0Issues:0

nafta-wallet

Mobile wallet for Fuel blockchain and realted ecosystem dApps

Language:DartStargazers:1Issues:1Issues:0

aves

Haskell library for generating different cryptocurrency wallets

License:MITStargazers:0Issues:0Issues:0

accumulate-dart-client

Accumulate JSON-RPC client implemented in Dart

Language:DartLicense:MITStargazers:0Issues:0Issues:0

android-translation-helper

Converts from csv to xml and back for different translations

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

api-mailchimp

Haskell client to access mailchimp API

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

elliptic

Elliptic Curves

License:Apache-2.0Stargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

haskell-chart

A 2D charting library for haskell

Language:HaskellStargazers:0Issues:0Issues:0

heft

Rust language library that contains a collection of basic primitives used in most of our projects.

License:Apache-2.0Stargazers:0Issues:0Issues:0

maelstrom

recognition of extreme weather events

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0
License:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

zkp

Zero-Knowledge Proofs

License:Apache-2.0Stargazers:0Issues:2Issues:0