Luc Tielen

eclair-lang. A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

souffle-haskell. Haskell bindings for the Souffle datalog language

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

llvm-codegen. LLVM code generation in Haskell

telescope_hoogle. Hoogle search integration for Telescope

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

debugger-hs. Write your GDB scripts in Haskell!

typesystem. Experiments using a bidirectional typesystem

bakery. Serving freshly baked Eclair programs over HTTP

souffle-dsl. Haskell EDSL for Souffle Datalog

besra-lang. Repository for the Besra programming language

playground. Nix

eclair-haskell. Haskell bindings for Eclair Datalog

eclair-rust-bindings. High level Rust bindings for Eclair Datalog

eclair-wasm-bindings. Typescript bindings for Eclair Datalog compiled to WebAssembly

validators. Composable validations for your Haskell data types

xml_parsec. XML parser based on parser combinators, written in pure Elixir

repo_analyzer. Small webapp for analyzing git diffs over time in a codebase.

dotfiles. My dot files collection

blog. My personal blog

eclair-python. Python bindings for Eclair

vm. A bytecode interpreter for statically typed functional languages. "Fork" of https://gitlab.com/gilmi/vm

BF. A BF interpreter/compiler.

tree-sitter-eclair. Tree sitter grammar for Eclair

souffle-haskell-example. An example of using souffle-haskell in a stack project

codecation2019. Code I wrote during the Kabisa 2019 codecation

Timing. Compact timing library written in Elixir

eclair-build-rs. Rust library for building and linking Eclair Datalog with Rust code

nep. Eclair parser written in C++ (as an experiment)

Subtitlex. Elixir

fire-emblem-rs. My attempt at recreating the Fire Emblem GBA games, in Rust. WIP

luc-tielen.