Antonio Ibarra's repositories
aiken
Cardano Smart Contracts
aiken-mode
Emacs mode for https://github.com/aiken-lang/aiken
bootswatch
Themes for Bootstrap
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
deck
Slide Decks
emacs-livedown
Emacs plugin for Livedown.
google-services
A collection of quickstart samples demonstrating the Google APIs for Android and iOS
hackerrankc_remix
Functional excercises of Hackerrank.com
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
in-60-seconds
GitPitch In 60 Seconds - A Very Short Tutorial
kuber
Haskell library and json-api for composing Cardano transactions and working with off-chain cardano blockchain.
kupo
🐹 Fast, lightweight & configurable chain-index for Cardano.
maths_and_programming
Exercises of The Haskell Road to Logic, Maths and Programming book
mkdocs
https://elviejo79.github.io/mkdocs/
nixos-config
NixOS configuration for my machines. This repository is deprecated, config now lives at https://cs.tvl.fyi/depot/-/tree/users/tazjin/nixos
nixpkgs
Nix Packages collection
ops-lib
NixOps deployment configuration library for IOHK devops
perlite
Perlite is a simple and declarative way to create rich client-side widgets designed with server-side apps in mind.
plutus
The Plutus language implementation and tools
plutus-community
repository for open source community documentation contributions
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.
smart-order-router
Open-source Smart Order Router framework to connect liquidity from the Genius Yield DEX
svgo
Go Language Library for SVG generation