This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# A hook script to prepare the commit log message if the branch name starts with a JIRA ticket. | |
# It adds the branch name to the commit message, if it is not already part of it. | |
# https://stackoverflow.com/questions/5894946/how-to-add-gits-branch-name-to-the-commit-message/59831864#59831864 | |
PROJECT_PREFIX="PROJ" # TODO fill in project here | |
BRANCH_PATH=$(git symbolic-ref -q HEAD) # Something like refs/heads/branch_name | |
BRANCH_NAME=${BRANCH_PATH##*/} # Get text behind the last / of the branch path |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
declare external ccc ptr @malloc(i32) | |
declare external ccc void @free(ptr) | |
declare external ccc void @llvm.memset.p0i8.i64(ptr, i8, i64, i1) | |
declare external ccc void @llvm.memcpy.p0i8.p0i8.i64(ptr, ptr, i64, i1) | |
declare external ccc i32 @memcmp(ptr, ptr, i64) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# This assumes eclair, clang and wasm-ld are installed, | |
# and that walloc (https://github.com/wingo/walloc) is compiled, | |
# and that walloc.o is copied to the current directory. | |
# Compiling (note: bulk memory needed for memset call) | |
eclair c program.eclair > program.ll | |
clang -DNDEBUG -Oz --target=wasm32 -mbulk-memory -nostdlib -c -o program.o program.ll | |
clang -DNDEBUG -Oz --target=wasm32 -mbulk-memory -nostdlib -c -o driver.o driver.c |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
clang-9 -g3 -O0 -o program main.c test.ll -Wno-override-module |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
; ModuleID = 'bf' | |
source_filename = "<string>" | |
declare i8* @malloc(i32) | |
declare void @free(i8*) | |
declare void @llvm.memset.p0i8.i64(i8*, i8, i64, i1) | |
declare i32 @putchar(i32) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE RecursiveDo #-} | |
module Eclair.Data.BTree | |
( Meta(..) | |
, SearchIndex | |
, SearchType(..) | |
, codegen | |
) where | |
import Protolude hiding ( Type, Meta ) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Leverage the power of logic programming with souffle-haskell |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
nc -z 127.0.0.1 8421 &> /dev/null |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TemplateHaskell #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
module Bad where | |
import Prelude | |
import Data.Kind ( Type ) | |
import Generics.MultiRec.TH |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### Keybase proof | |
I hereby claim: | |
* I am luc-tielen on github. | |
* I am luctielen (https://keybase.io/luctielen) on keybase. | |
* I have a public key ASBFC-6uqoyrwZEMgSfRJxpWTh-m1oQSQN68Fls0XF-7oAo | |
To claim this, I am signing this object: |
NewerOlder