luc-tielen/souffle-haskell luc-tielen/souffle-haskell

  • Stars
    star
    97
  • Rank 348,505 (Top 7 %)
  • Language
    C++
  • License
    MIT License
  • Created about 5 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
luc-tielen/souffle-haskell
github

luc-tielen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Haskell bindings for the Souffle datalog language

More Repositories

1

eclair-lang

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

Cure

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

llvm-codegen

LLVM code generation in Haskell
Haskell
46
star
4

telescope_hoogle

Hoogle search integration for Telescope
Lua
45
star
5

lua-quickcheck

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

debugger-hs

Write your GDB scripts in Haskell!
Haskell
27
star
7

typesystem

Experiments using a bidirectional typesystem
Haskell
16
star
8

bakery

Serving freshly baked Eclair programs over HTTP
JavaScript
8
star
9

besra-lang

Repository for the Besra programming language
Haskell
6
star
10

souffle-dsl

Haskell EDSL for Souffle Datalog
Haskell
6
star
11

playground

Nix
5
star
12

eclair-wasm-bindings

Typescript bindings for Eclair Datalog compiled to WebAssembly
TypeScript
4
star
13

validators

Composable validations for your Haskell data types
Haskell
4
star
14

eclair-rust-bindings

High level Rust bindings for Eclair Datalog
Rust
4
star
15

eclair-haskell

Haskell bindings for Eclair Datalog
Haskell
4
star
16

repo_analyzer

Small webapp for analyzing git diffs over time in a codebase.
Elm
3
star
17

xml_parsec

XML parser based on parser combinators, written in pure Elixir
Elixir
3
star
18

blog

My personal blog
HTML
2
star
19

dotfiles

My dot files collection
Lua
2
star
20

BF

A BF interpreter/compiler.
Haskell
2
star
21

tree-sitter-eclair

Tree sitter grammar for Eclair
C
2
star
22

vm

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

nep

Eclair parser written in C++ (as an experiment)
C++
1
star
24

souffle-haskell-example

An example of using souffle-haskell in a stack project
C++
1
star
25

Timing

Compact timing library written in Elixir
Elixir
1
star
26

codecation2019

Code I wrote during the Kabisa 2019 codecation
Haskell
1
star
27

Subtitlex

Elixir
1
star
28

eclair-build-rs

Rust library for building and linking Eclair Datalog with Rust code
Rust
1
star
29

fire-emblem-rs

My attempt at recreating the Fire Emblem GBA games, in Rust. WIP
Rust
1
star