luc-tielen/eclair-build-rs luc-tielen/eclair-build-rs

  • Stars
    star
    1
  • Language
    Rust
  • License
    Other
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
luc-tielen/eclair-build-rs
github

luc-tielen

Reviews

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

Repository Details

Rust library for building and linking Eclair Datalog with Rust code

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-rust-bindings

High level Rust bindings for Eclair Datalog
Rust
4
star
16

eclair-haskell

Haskell bindings for Eclair Datalog
Haskell
4
star
17

repo_analyzer

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

xml_parsec

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

blog

My personal blog
HTML
2
star
20

dotfiles

My dot files collection
Lua
2
star
21

BF

A BF interpreter/compiler.
Haskell
2
star
22

tree-sitter-eclair

Tree sitter grammar for Eclair
C
2
star
23

vm

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

nep

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

souffle-haskell-example

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

Timing

Compact timing library written in Elixir
Elixir
1
star
27

codecation2019

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

Subtitlex

Elixir
1
star
29

fire-emblem-rs

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