Skip to content
View luc-tielen's full-sized avatar
137 followers · 59 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback
Block or Report

Block or report luc-tielen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luc-tielen/README.md

Hi there! 👋

I'm Luc, a developer passionate about Functional Programming, compilers and logic.

My tech blog

I regularly upload articles to my blog. Some of my recent articles:

Talks

Some of my latest talks:

Projects

For an overview of the stuff I worked on, see the Pinned section below. 👇

Pinned

  1. eclair-lang eclair-lang Public

    A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

    Haskell 192 12

  2. souffle-haskell souffle-haskell Public

    Haskell bindings for the Souffle datalog language

    C++ 99 12

  3. Cure Cure Public

    Small library that interfaces C-code with Erlang/Elixir using Ports.

    Elixir 76 13

  4. lua-quickcheck lua-quickcheck Public

    Property based testing in Lua, inspired by the original QuickCheck.

    Lua 38 1

  5. typesystem typesystem Public

    Experiments using a bidirectional typesystem

    Haskell 16

  6. dotfiles dotfiles Public

    My dot files collection

    Lua 2