Visit my other projects at http://github.com/atnos-org!
specs2. Software Specifications for Scala
734registry. Components as records of functions for Haskell
175s99. Scala
54specs2-test. Test project for specs2
17specs-before-google-code-import. specs is a BDD library for the Scala language
15effects. A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
10grafter. Grafter is a library to configure and wire Scala applications
9iterator-essence. Code for the Essence of the Iterator Pattern post
9fp-to-the-min. Code for FP to the Min talk at Scala in the City Conference.
8registry-hedgehog. registry utilities to work with Hedgehog generators
7registry-aeson. Haskell
6bondi-tutorial.
6ingestion. Translation of the example given https://reasonablypolymorphic.com/blog/freer-monads using streaming and registry
5fpinscala-exercises. Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
5fold-algebras. Examples for fold-algebras DSLs
4tree-calculus. support code for reading the tree calculus book
3api-discovery. API Discovery Solution for Microservice Architectures
3beautiful-concurrency. Learning repository for "Beautiful concurrency" (https://www.microsoft.com/en-us/research/publication/beautiful-concurrency)
3wordcount. Scala
3ledgit-blogpost. Example of a command-line application to process CSV files
3anti-xml. The scala.xml library has some very annoying issues. Time for a clean-room replacement!
2puritan. Referentially Transparent IO for Scala
2activator-minimal-scala-specs2. A minimal scala project with specs2 as a testing dependency
2ScaHAL. Machine learning for Scala
2registry-messagepack. Customizable Encoders / decoders for MessagePack
2casbah. Officially supported Scala Driver for MongoDB
2specs2-http4s. specs2 support for http4s
2registry-options. options parsing using registry
2abc-numbers-haskell. Haskell
2twitter-to-pfif. Parses messages on Twitter and converts them to PFIF
2protobuf-sbt. A Protocol Buffers plugin for simple-build-tool
2ockam-inlet-example. Example of a TCP inlet connected to a Worker
1PolysemyCleanArchitecture. Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
1galaxy-brain. Personal website and blog posts
1etorreborre.github.io. Welcome to my website!
1chatgpt_rust. chatgpt_rust executable
1zbg. ✨ Zero Bullshit Git
1producer-hs. Simple streaming library for Haskell
1ockam-contributors. Contributors to the Ockam Open Source projects
1specs2-cats. matchers for specs2 and cats-effects
1plain-scala.g8. Giter8 template: Scala sbt project with scalatest/specs2 and sbt-eclipse, sbt-idea plugins
1specs2-integration-tests-4.x. This project shows how to write integration tests with a global setup using specs2-4.x
1stringly. stringly-typed functions
1scala-atp. Scala port of John Harrison's Handbook of Practical Logic and Automated Reasoning
1xsbt-gpg-plugin. GPG plugin for SBT 0.11+
1pocketchangeapp. Demo Application for the Lift Book.
1scoobi. A Scala productivity framework for Hadoop.
1sbt-ghpages-plugin. git, site and ghpages support for XSBT projects.
1akka. Akka Project
1scalaz. An extension to the core scala library.
1