Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / dblia
Developer Profile

dblia

Discovered public repositories for dblia in the GitHub catalog.

↗

dblia/type-inference

Implementation of the Hindley-Milner algorithm, a classical type inference system for the lambda calculus using simple types, written in Haskell. Part of the Programming Languages II course.

↗

dblia/llac

A compiler for llama language written in OCaml

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

SPONSORED Sponsored Partner