Luc Tielen

icon indicating a website link https://luctielen.com

icon company Lambda Tech icon location Belgium icon location Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Results 8 repositories owned by Luc Tielen

Cure

76
Stars
13
Forks
Watchers

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

verified publisher icon luc-tielen

debugger-hs

27
Stars
2
Forks
Watchers

Write your GDB scripts in Haskell!

verified publisher icon luc-tielen

eclair-lang

193
Stars
12
Forks
Watchers

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

verified publisher icon luc-tielen

souffle-haskell

100
Stars
12
Forks
Watchers

Haskell bindings for the Souffle datalog language

verified publisher icon luc-tielen

llvm-codegen

44
Stars
5
Forks
Watchers

LLVM code generation in Haskell

verified publisher icon luc-tielen

lua-quickcheck

38
Stars
1
Forks
Watchers

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

verified publisher icon luc-tielen

telescope_hoogle

46
Stars
7
Forks
Watchers

Hoogle search integration for Telescope

verified publisher icon luc-tielen

typesystem

16
Stars
0
Forks
Watchers

Experiments using a bidirectional typesystem

verified publisher icon luc-tielen