luc-tielen/eclair-lang

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

HaskellOtherhaskellcompilerllvmdataloglogic-programming
This is stars and forks stats for /luc-tielen/eclair-lang repository. As of 26 Apr, 2024 this repository has 178 stars and 11 forks.

An experimental and minimal Datalog implementation that compiles down to LLVM. Features Eclair is a minimal Datalog (for now). It supports the following features: Facts containing literals Rules consisting of one or more clauses. Rules can be non-recursive, recursive or mutually recursive. Right now it compiles to LLVM but be aware there might still be bugs. Some edge cases might not be handled yet. Motivating example Let's say we want to find out which points are reachable in a graph. We can determine...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
nebulazorua/andromeda-engine-legacyHaxeOther830610
apache/arrow-juliaJuliaShellOther2630560
OpenNative/open-nativeJavaObjective-CTypeScript406050
Dimsmary/Dactyl-HelloWordOpenSCADCOther50060
schochastics/rtootRTeXOther950110
EECS150/fpga_project_skeleton_fa22VerilogTeXPython8050
smy20011/dreambooth-guiTypeScriptRustOther360+1160
Thecosy/IceCMSVueJavaScriptCSS1.1k01570
inovector/mixpostVuePHPJavaScript467+771+1
didi/LogicFlowTypeScriptJavaScriptHTML5.7k08520