Pinned Repositories
automated-gmail-app
An asynchronous, lightweight and non-blocking app built on Scala
binance4s
Binance4s is a lightweight functional, non blocking and type safe Scala library for interacting with the Binance API
braids-and-cryptography
Trabajo de Fin de Grado en Matemáticas, Universidad de Málaga
criteria4s
Criteria4s is a simple DSL to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a type-safe
ethereum-control-flow-graph-bytecode
Ethereum bytecode analyzer with Control-Flow Graph method
mf-dabi-aco-ant-colony-optimization-algorithm
Development of the ant colony optimization algorithm into Scala language.
mf-dabi-de-differential-evolution-algorithm
Development of the differential evolution algorithm into Scala language.
mf-dabi-pso-particle-swarm-optimization-algorithm
Development of the particle swarm optimization algorithm into Scala language.
stocking-app-server
An HTTP4s server implemented using the Tagless Final pattern, designed for efficient and scalable storage management
untyped-lambda-calculus
Development and implement of untyped lambda calculus
rafafrdz's Repositories
rafafrdz/criteria4s
Criteria4s is a simple DSL to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a type-safe
rafafrdz/mf-dabi-pso-particle-swarm-optimization-algorithm
Development of the particle swarm optimization algorithm into Scala language.
rafafrdz/binance4s
Binance4s is a lightweight functional, non blocking and type safe Scala library for interacting with the Binance API
rafafrdz/braids-and-cryptography
Trabajo de Fin de Grado en Matemáticas, Universidad de Málaga
rafafrdz/ethereum-control-flow-graph-bytecode
Ethereum bytecode analyzer with Control-Flow Graph method
rafafrdz/mf-dabi-aco-ant-colony-optimization-algorithm
Development of the ant colony optimization algorithm into Scala language.
rafafrdz/mf-dabi-de-differential-evolution-algorithm
Development of the differential evolution algorithm into Scala language.
rafafrdz/pso-genetic-algorithm-technical-indicator-trading-system
Development and implement stock trading forecast algorithm in Scala language. Here, I use Yahoo Finance historical data for some companies like Apple, Nvidia, etc.
rafafrdz/untyped-lambda-calculus
Development and implement of untyped lambda calculus
rafafrdz/automated-gmail-app
An asynchronous, lightweight and non-blocking app built on Scala
rafafrdz/idris-dependent-types
Introduction to dependent types in Idris. We have to explain how idris and its type checker works, and how types rules are defined
rafafrdz/live-variable-analysis
Development and implementation of alive variable analysis method on a control flow graph
rafafrdz/mf-aerr-sat-hamilton-graph
Development of a smt script generator to proof the satisfiability (SAT) of Hamiltonian graphs. The resolution will be proof after that using z3.
rafafrdz/stocking-app-server
An HTTP4s server implemented using the Tagless Final pattern, designed for efficient and scalable storage management
rafafrdz/criteria4s-presentation
Presentation for Criteria4s library
rafafrdz/ddm-conversational-game
rafafrdz/gmail-client
Asynchronous, lightweight and non-blocking IMAP/SMTP Gmail Client for dealing with mail in Scala
rafafrdz/learning
Repository that contains all code snippets and lectures regarding to learning something
rafafrdz/minimum-maximum-path-problem
rafafrdz/MIUMMFFII
All the projects and assignments I had to complete in the Master of Formal Methods in Computer Science
rafafrdz/openai4s
OpenAI4s is a lightweight functional, non blocking and type safe Scala library for interacting with the OpenAi API. It is build on cats-effects and circe.
rafafrdz/rafafrdz
Rafael Fernandez Ortiz CV Portafolio Code Dev
rafafrdz/saddle
SADDLE: Scala Data Library
rafafrdz/Type-Based-Test-Generation-for-Haskell-using-Constraint-Logic-Programming
Our approach provides an efficient and automatic generation of input test values that follows the Haskell formal syntax, precisely, a syntax-translation mechanism guided by the type declaration.
rafafrdz/uma-math-presentation