• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • License
    Other
  • Created almost 2 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

High level Rust bindings for Eclair Datalog

More Repositories

1

eclair-lang

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

souffle-haskell

Haskell bindings for the Souffle datalog language
C++
97
star
3

Cure

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

llvm-codegen

LLVM code generation in Haskell
Haskell
46
star
5

telescope_hoogle

Hoogle search integration for Telescope
Lua
45
star
6

lua-quickcheck

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

debugger-hs

Write your GDB scripts in Haskell!
Haskell
27
star
8

typesystem

Experiments using a bidirectional typesystem
Haskell
16
star
9

bakery

Serving freshly baked Eclair programs over HTTP
JavaScript
8
star
10

besra-lang

Repository for the Besra programming language
Haskell
6
star
11

souffle-dsl

Haskell EDSL for Souffle Datalog
Haskell
6
star
12

playground

Nix
5
star
13

eclair-wasm-bindings

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

validators

Composable validations for your Haskell data types
Haskell
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