luc-tielen/codecation2019

Stars
1
Language
Haskell
Created over 5 years ago
Updated over 5 years ago

luc-tielen/codecation2019

luc-tielen

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

Code I wrote during the Kabisa 2019 codecation

eclair-lang

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

souffle-haskell

Haskell bindings for the Souffle datalog language

Cure

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

llvm-codegen

LLVM code generation in Haskell

telescope_hoogle

Hoogle search integration for Telescope

lua-quickcheck

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

debugger-hs

Write your GDB scripts in Haskell!

typesystem

Experiments using a bidirectional typesystem

bakery

Serving freshly baked Eclair programs over HTTP

besra-lang

Repository for the Besra programming language

souffle-dsl

Haskell EDSL for Souffle Datalog

playground

eclair-wasm-bindings

Typescript bindings for Eclair Datalog compiled to WebAssembly

validators

Composable validations for your Haskell data types

eclair-rust-bindings

High level Rust bindings for Eclair Datalog

eclair-haskell

Haskell bindings for Eclair Datalog

repo_analyzer

Small webapp for analyzing git diffs over time in a codebase.

xml_parsec

XML parser based on parser combinators, written in pure Elixir

blog

My personal blog

dotfiles

My dot files collection

BF

A BF interpreter/compiler.

tree-sitter-eclair

Tree sitter grammar for Eclair

vm

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

nep

Eclair parser written in C++ (as an experiment)

souffle-haskell-example

An example of using souffle-haskell in a stack project

Timing

Compact timing library written in Elixir

Subtitlex

eclair-build-rs

Rust library for building and linking Eclair Datalog with Rust code

fire-emblem-rs

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