Luc Tielen (luc-tielen)

luc-tielen

Geek Repo

Company:Lambda Tech

Location:Belgium

Home Page:https://luctielen.com

Twitter:@luctielen

Github PK Tool:Github PK Tool

Luc Tielen's repositories

eclair-lang

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

Language:HaskellLicense:BSD-3-ClauseStargazers:196Issues:4Issues:22

souffle-haskell

Haskell bindings for the Souffle datalog language

Language:C++License:MITStargazers:102Issues:10Issues:16

llvm-codegen

LLVM code generation in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:49Issues:4Issues:3

telescope_hoogle

Hoogle search integration for Telescope

Language:LuaLicense:MITStargazers:45Issues:2Issues:6

eclair-haskell

Haskell bindings for Eclair Datalog

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0

eclair-rust-bindings

High level Rust bindings for Eclair Datalog

Language:RustLicense:NOASSERTIONStargazers:4Issues:3Issues:0

eclair-wasm-bindings

Typescript bindings for Eclair Datalog compiled to WebAssembly

Language:TypeScriptLicense:MITStargazers:4Issues:2Issues:0

blog

My personal blog

Language:HTMLLicense:BSD-3-ClauseStargazers:2Issues:2Issues:1

dotfiles

My dot files collection

Language:LuaStargazers:2Issues:2Issues:0

tree-sitter-eclair

Tree sitter grammar for Eclair

Language:CLicense:MITStargazers:2Issues:3Issues:0

eclair-build-rs

Rust library for building and linking Eclair Datalog with Rust code

Language:RustLicense:NOASSERTIONStargazers:1Issues:2Issues:0

nep

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

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

chartist

Simple responsive charts

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

diagnose

A simple library for reporting compiler/interpreter errors

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

eclair-lsp-server

LSP server for Eclair

Language:TypeScriptStargazers:0Issues:2Issues:0

eclair-website

Website for the Eclair programming language

Language:MDXLicense:NOASSERTIONStargazers:0Issues:2Issues:6

frida-screenshot

Grab screenshots using Frida.

License:MITStargazers:0Issues:0Issues:0

frida-trace

Trace APIs declaratively through Frida.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

frida-uiwebview

Inspect and manipulate UIWebView-hosted GUIs through Frida.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

GTgraph

The Gtgraph library from Georgia Tech.

Language:CStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0

radare2

UNIX-like reverse engineering framework and command-line toolset

Language:CLicense:LGPL-3.0Stargazers:0Issues:1Issues:0
Language:RebolStargazers:0Issues:1Issues:0

react-chartist

⚛ React component for Chartist.js

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

sdb

Simple and fast string based key-value database with support for arrays and json

Language:CLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-highlight

Eclair syntax highlighter for Node powered by Tree Sitter. Written in Rust.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-llvm

Tree sitter parser for LLVM

Language:CLicense:MITStargazers:0Issues:0Issues:0

tree-sitter-lua

Lua grammar for tree-sitter.

Language:CLicense:MITStargazers:0Issues:0Issues:0

TwsApiCpp

Improved TWS API POSIX C++ library for the Interactive Brokers (IB) TWS (same project as TwsApiC++ in Yahoo TWSAPI).

Language:C++Stargazers:0Issues:1Issues:0