José Seraquive (xxAVOGADROxx)

xxAVOGADROxx

Geek Repo

Company:Charli3

Location:Quito, Ecuador

Github PK Tool:Github PK Tool

José Seraquive's starred repositories

devx

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).

Language:NixLicense:Apache-2.0Stargazers:37Issues:0Issues:0

strategy-executor

Trading Strategy Executor Framework for the Genius Yield DEX.

Language:PythonLicense:Apache-2.0Stargazers:5Issues:0Issues:0

gun

An open source cybersecurity protocol for syncing decentralized graph data.

Language:JavaScriptLicense:NOASSERTIONStargazers:17919Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10273Issues:0Issues:0

miso

:ramen: A tasty Haskell front-end framework

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

Bend

A massively parallel, high-level programming language

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

market-maker

Market maker for the Genius Yield DEX

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

bech32

Haskell implementation of the Bech32 address format (BIP 0173).

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

yaci-devkit

A set of dev tools for development on Cardano.

Language:JavaLicense:MITStargazers:39Issues:0Issues:0

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

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

cardano-up

Command line utility for managing Cardano services

Language:GoLicense:Apache-2.0Stargazers:16Issues:0Issues:0

beginners-book

A draft of a book for learning to program, slanted towards Clojure

Language:ClojureStargazers:8Issues:0Issues:0
Language:HaskellLicense:MITStargazers:1Issues:0Issues:0
Language:HaskellLicense:MITStargazers:2Issues:0Issues:0

cf-ledger-sync

An open-source Java application designed to facilitate access to indexed Cardano blockchain data

Language:JavaLicense:Apache-2.0Stargazers:16Issues:0Issues:0

cf-java-rewards-calculation

This java project is used to calculate the rewards of the Cardano blockchain. It aims to be both an edge case documentation and formula implementation.

Language:JavaLicense:MITStargazers:19Issues:0Issues:0

garnet

Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

Language:C#License:MITStargazers:9735Issues:0Issues:0

botan

Haskell bindings for the Botan cryptography library

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

ikar

A helper web-app to interact with cardano-wallet.

Language:HTMLStargazers:6Issues:0Issues:0

ogmios

❇️ A WebSocket JSON/RPC bridge for Cardano

Language:HaskellLicense:MPL-2.0Stargazers:302Issues:0Issues:0

daedalus-turbo

Daedalus Turbo: 10-times-quicker bulk synchronization for Cardano

Language:C++License:Apache-2.0Stargazers:19Issues:0Issues:0

insomnia

The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.

Language:JavaScriptLicense:Apache-2.0Stargazers:33622Issues:0Issues:0

IHaskell

A Haskell kernel for the Jupyter project.

Language:Jupyter NotebookLicense:MITStargazers:2555Issues:0Issues:0

nixos-and-flakes-book

:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗?在寻找一份新手友好的教程?那你可来对地方了!

Language:NixLicense:CC-BY-SA-4.0Stargazers:1682Issues:0Issues:0

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

License:CC0-1.0Stargazers:2797Issues:0Issues:0

blockfrost-backend-ryo

Blockfrost API backend. You can now Run-Your-Own.

Language:TypeScriptLicense:Apache-2.0Stargazers:63Issues:0Issues:0

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

Language:PureScriptLicense:MITStargazers:91Issues:0Issues:0
Language:TypeScriptStargazers:2Issues:0Issues:0

NEST-Oracle-V4.0

The NEST Oracle Smart Contract 4.0 is a solidity smart contract implementation of NEST Protocol which provide a unique on-chain Price Oracle through a decentralized mechanism. And it's opening for Everyone to open a PriceChannel.

Language:JavaScriptLicense:GPL-3.0Stargazers:417Issues:0Issues:0

oura

The tail of Cardano

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