luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Funding Links: https://github.com/sponsors/luc-tielen
- Name: Luc Tielen
- Location: Belgium
- Company: Lambda Tech
- Kind: user
- Followers: 155
- Following: 57
- Total stars: 656
- Repositories count: 111
- Created at: 2022-11-09T03:03:43.141Z
- Updated at: 2025-03-27T21:55:53.380Z
- Last synced at: 2025-03-27T21:55:53.379Z
GitHub Sponsors Profile
Hi there 👋! I'm Luc, a software engineer from Belgium passionate about functional programming, compilers and logic. I regularly write technical articles about these topics on my blog, I maintain the souffle-haskell library and am currently building a high performance Datalog called “eclair".
By sponsoring me, I will be able to dedicate more of my time maintaining my various open source repositories and writing new articles about the fascinating things I learn along the way.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $5.00
Featured Works
luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Language: Haskell - Stars: 222luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
Language: C++ - Stars: 103luc-tielen/lua-quickcheck
Property based testing in Lua, inspired by the original QuickCheck.
Language: Lua - Stars: 39luc-tielen/typesystem
Experiments using a bidirectional typesystem
Language: Haskell - Stars: 17luc-tielen/blog
My personal blog
Language: HTML - Stars: 2luc-tielen/llvm-hs-combinators
Combinators for creating some common language constructs easily in LLVM
Language: Haskell - Stars:Active Sponsors
Past Sponsors
Sponsor Breakdown
- User: 1