There are no reviews yet. Be the first to send feedback to the community and the maintainers!
eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRsouffle-haskell
Haskell bindings for the Souffle datalog languageCure
Small library that interfaces C-code with Erlang/Elixir using Ports.llvm-codegen
LLVM code generation in Haskelltelescope_hoogle
Hoogle search integration for Telescopelua-quickcheck
Property based testing in Lua, inspired by the original QuickCheck.debugger-hs
Write your GDB scripts in Haskell!typesystem
Experiments using a bidirectional typesystembakery
Serving freshly baked Eclair programs over HTTPbesra-lang
Repository for the Besra programming languagesouffle-dsl
Haskell EDSL for Souffle Datalogplayground
eclair-wasm-bindings
Typescript bindings for Eclair Datalog compiled to WebAssemblyvalidators
Composable validations for your Haskell data typeseclair-rust-bindings
High level Rust bindings for Eclair Datalogeclair-haskell
Haskell bindings for Eclair Datalogxml_parsec
XML parser based on parser combinators, written in pure Elixirblog
My personal blogdotfiles
My dot files collectionBF
A BF interpreter/compiler.tree-sitter-eclair
Tree sitter grammar for Eclairvm
A bytecode interpreter for statically typed functional languages. "Fork" of https://gitlab.com/gilmi/vmnep
Eclair parser written in C++ (as an experiment)souffle-haskell-example
An example of using souffle-haskell in a stack projectTiming
Compact timing library written in Elixircodecation2019
Code I wrote during the Kabisa 2019 codecationSubtitlex
eclair-build-rs
Rust library for building and linking Eclair Datalog with Rust codefire-emblem-rs
My attempt at recreating the Fire Emblem GBA games, in Rust. WIPLove Open Source and this site? Check out how you can help us