Rafael Fernández
Scala Developer • Formal Methods Software Engineer • Mathematics
29Followers
82Following
26Repos
Fun with AI
Click the button above to generate a fun analysis of your GitHub profile
Contributions (2025)
Total Commits
117Issues Closed
13PRs Merged
56Repository Impact
Total Stars
31Total Forks
10Top Languages
Scala51.6%
TeX15.4%
Dafny9.6%
Haskell7.8%
Prolog5.4%
Top Repository
⭐ 21
🍴 2
Contribution Graph (2025)
More
Less
Contributions by Month (2025)
Contributions by Day (2025)
Active Days
130days
Longest Streak
16days
Longest Gap
18days
Weekend Activity
36days
Pinned Repositories
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
Scala
⭐ 21
🍴 2
teckel
Teckle framework for building Apache Spark ETL processes using YAML configuration files.
Scala
⭐ 1
0binance4s
Binance4s is a lightweight functional, non blocking and type safe Scala library for interacting with the Binance API
Scala
⭐ 1
🍴 5
automated-gmail-app
An asynchronous, lightweight and non-blocking app built on Scala
Scala
00untyped-lambda-calculus
Development and implement of untyped lambda calculus
Scala
⭐ 1
0ethereum-control-flow-graph-bytecode
Ethereum bytecode analyzer with Control-Flow Graph method
Scala
⭐ 1
0