GitHub Analytics

koslambrou - GitHub Analytics Profile

koslambrou

@koslambrou

Haskell developer and free software enthusiast.

Quebec

Joined July 2012

11 Followers

1 Following

AI Insights & Achievements

23/ 100

Consistency

6 day streak.

Veteran

Coding for 14 years.

Profile README

Hi there 👋

I'm koslambrou, a software engineer specializing in functional programming and blockchain infrastructure.

About Me

🔧 Functional programming engineer with expertise in Haskell and the Nix ecosystem
⛓️ 4+ years building blockchain infrastructure at IO Global (Cardano/Plutus)
🎯 Expert in smart contract development and rigorous software engineering practices
🧪 Strong focus on property-based testing and formal verification
🌍 Based in Québec

Current Work

Working on Djed (Cardano's algorithmic stablecoin protocol).

Education

Doctoral studies in Computer Engineering (NLP, Semantic Web, AI) - Polytechnique Montréal
Master's degree in Computer Engineering - Polytechnique Montréal
Bachelor's degree in Software Engineering - Polytechnique Montréal

Public Repos

Total Stars

Total Forks

Public Gists

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: February 6th, 2026 • 5 contributions

Most active week: Nov 24–Nov 30 • 24 contributions

Most active month: Dec 2025 • 41 contributions

merged pull request in input-output-hk/sc-tools

February 9th, 2026 10:18 PM

opened issue in input-output-hk/iogx

February 9th, 2026 6:44 PM

merged pull request in IntersectMBO/cardano-api

February 6th, 2026 2:53 PM

opened pull request in input-output-hk/sc-tools

February 6th, 2026 2:35 PM

Pushed to koslambrou/allow-native-asset-utxos-in-collateral at input-output-hk/sc-tools

February 6th, 2026 2:35 PM

Created branch koslambrou/allow-native-asset-utxos-in-collateral in input-output-hk/sc-tools

February 6th, 2026 2:14 PM

Pushed to koslambrou/hash-computation-discrepancy at IntersectMBO/cardano-api

January 28th, 2026 2:50 PM

opened pull request in IntersectMBO/cardano-api

January 26th, 2026 4:30 PM

Pushed to koslambrou/hash-computation-discrepancy at IntersectMBO/cardano-api

January 26th, 2026 4:25 PM

Pushed to koslambrou/hash-computation-discrepancy at IntersectMBO/cardano-api

January 26th, 2026 4:19 PM