teodanciu

teodanciu's Repositories

• teodanciu/Alonzo-testnet

  repository for the Alonzo testnet

• teodanciu/cardano-base

  Code used throughout the Cardano eco-system

• teodanciu/cardano-ledger

  The ledger implementation and specifications of the Cardano blockchain.

  Language:Haskell

• teodanciu/ci-ops

• teodanciu/docs-experiments

• teodanciu/formal-ledger-specifications

  Language:Agda

• teodanciu/Functional-Programming-in-Scala-Exercises

  Exercises for Functional Programming in Scala

  Language:Scala001

• teodanciu/IntelliJ-Idea-XQuery

  XQuery language and MarkLogic API support for IntelliJ IDEA

• teodanciu/ls-colors-solarized

  A minimal fork of https://github.com/seebi/solarized/tree/master/ls-colors-solarized (not possible to fork a fork, when I already had forked the original)

• teodanciu/lsug-website

  A place to manage our events and other activites around the London community

  Language:JavaScript

• teodanciu/ouroboros-network

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

• teodanciu/prezto

  The configuration framework for Zsh

  Language:Shell

• teodanciu/redbook

  Language:Scala

• teodanciu/sbt-sonatype

  A sbt plugin for publishing Scala/Java projects to the Maven central.

  Language:Scala

• teodanciu/Sec1.3

  Section 1.3

  Language:Racket00

• teodanciu/sftest

  10

• teodanciu/solr-sable-ui

  Language:JavaScript00

• teodanciu/teodanciu.github.io

  Language:SCSS10