José Seraquive (xxAVOGADROxx)

xxAVOGADROxx

Geek Repo

Company:Charli3

Location:Quito, Ecuador

Github PK Tool:Github PK Tool

José Seraquive's starred repositories

kupo

🐹 Fast, lightweight & configurable chain-index for Cardano.

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

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

Language:NixStargazers:387Issues:0Issues:0

plutonomicon

Advanced techniques in the plutus smart contract language

Language:NixLicense:MITStargazers:201Issues:0Issues:0

cscli

Cross-platform CLI for building and interacting with Cardano data structures using .NET cryptographic and serialisation primitives of CardanoSharp

Language:C#Stargazers:16Issues:0Issues:0

plutus-apps

The Plutus application platform

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

plutip

A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

Language:HaskellLicense:Apache-2.0Stargazers:54Issues:0Issues:0
Stargazers:14Issues:0Issues:0

brainflow

BrainFlow is a library intended to obtain, parse and analyze EEG, EMG, ECG and other kinds of data from biosensors

Language:C++License:MITStargazers:1240Issues:0Issues:0

mithril

Stake-based threshold multi-signatures protocol

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

cardano-node

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

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

EMURGO_71

Supplemental materials for Batch 71

Language:HaskellStargazers:6Issues:0Issues:0

hindent

Haskell pretty printer

Language:HaskellLicense:NOASSERTIONStargazers:556Issues:0Issues:0

hie-bios

Set up a GHC API session for various Haskell Projects

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

.emacs.d

Emacs configuration files

Language:Emacs LispStargazers:2Issues:0Issues:0

highlight-indent-guides

Emacs minor mode to highlight indentation

Language:Emacs LispStargazers:556Issues:0Issues:0

massiv

Efficient Haskell Arrays featuring Parallel computation

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

hpack

hpack: A modern format for Haskell packages

Language:HaskellLicense:MITStargazers:613Issues:0Issues:0

stan

🕵️ Haskell STatic ANalyser

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

niv

Easy dependency management for Nix projects

Language:HaskellLicense:MITStargazers:1519Issues:0Issues:0

template-haskell

batteries-included nix-based haskell project template

Language:ShellLicense:BSD-3-ClauseStargazers:58Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:2Issues:0Issues:0

ouroboros-network

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

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

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:18892Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:23572Issues:0Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:1581Issues:0Issues:0

web_crawler

An exercise to be able to join Stack Builders

Language:PythonStargazers:1Issues:0Issues:0

haskell-nix

Nix and Haskell in production

Language:NixStargazers:1134Issues:0Issues:0

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

Language:HaskellStargazers:1391Issues:0Issues:0