teodanciu's repositories
Alonzo-testnet
repository for the Alonzo testnet
Apache-2.0000
cardano-base
Code used throughout the Cardano eco-system
Apache-2.0000
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:HaskellApache-2.0000
Apache-2.0000
Language:AgdaApache-2.0000
Functional-Programming-in-Scala-Exercises
Exercises for Functional Programming in Scala
Language:Scala000
IntelliJ-Idea-XQuery
XQuery language and MarkLogic API support for IntelliJ IDEA
000
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)
000
lsug-website
A place to manage our events and other activites around the London community
Language:JavaScript000
ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Apache-2.0000
prezto
The configuration framework for Zsh
Language:Shell000
Language:Scala000
sbt-sonatype
A sbt plugin for publishing Scala/Java projects to the Maven central.
Language:ScalaApache-2.0000
Sec1.3
Section 1.3
Language:Racket000
Language:JavaScript000