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.
teodanciu/ci-ops
teodanciu/docs-experiments
teodanciu/formal-ledger-specifications
teodanciu/Functional-Programming-in-Scala-Exercises
Exercises for Functional Programming in Scala
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
teodanciu/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
teodanciu/prezto
The configuration framework for Zsh
teodanciu/redbook
teodanciu/sbt-sonatype
A sbt plugin for publishing Scala/Java projects to the Maven central.
teodanciu/Sec1.3
Section 1.3
teodanciu/sftest
teodanciu/solr-sable-ui
teodanciu/teodanciu.github.io