gclaramunt
Father, software surgeon, code juggler, Scala fan and Haskell noob. Full heap developer.
Montevideo
Pinned Repositories
CoqWorkshop
DiskStore
disk based binary key value store
scala-reggen
Generic programming experiment in Scala
gclaramunt's Repositories
gclaramunt/scala-reggen
Generic programming experiment in Scala
gclaramunt/CoqWorkshop
gclaramunt/embedded-http-server
Simple embedded akka http server for component testing
gclaramunt/off-heap-core
Off the heap memory
gclaramunt/AdventOfCode2023
gclaramunt/AikenExploration
gclaramunt/asb-challenge
gclaramunt/blockfrost-rust
Rust SDK for Blockfrost.io
gclaramunt/bookchain-covers
gclaramunt/cuddly-chainsaw
gclaramunt/docs.scala-lang
The Scala Documentation website
gclaramunt/engineering-test
gclaramunt/exploring-plutus
Different basic smart contract examples in Plutus
gclaramunt/fictional-garbanzo
gclaramunt/fracada-il-primo
Advanced Plutus fractionalized NFT protocol which supports "NFT Bag" functionality.
gclaramunt/GClaramunt-notes
gclaramunt/guardrail
Principled code generation from OpenAPI specifications
gclaramunt/haskell-experiments-fromFPComplete
Migrated from FPComplete :(
gclaramunt/json-validator
gclaramunt/lambdaconf-2016-usa
Repository for LambdaConf 2016 USA.
gclaramunt/matryoshka
Generalized recursion schemes and traversals for Scala.
gclaramunt/monix
Asynchronous, Reactive Programming for Scala and Scala.js.
gclaramunt/natchez-extras
Integrations between Natchez, Doobie, HTTP4s, Log4cats and Datadog. Formerly called effect-utils.
gclaramunt/pgp-utils
PGP experiment over bouncycastle
gclaramunt/proposals-2016
talk proposals for the Northeast Scala Symposium 2016 (Philadelphia)
gclaramunt/scala
The Scala programming language
gclaramunt/scala-pet-store
An implementation of the java pet store using FP techniques in scala
gclaramunt/ScalaGAEHelloWorld
Hello world in GAE with Scala
gclaramunt/typelevel-rust
Exploration of type level programming in Rust
gclaramunt/UserTrack