Skip to content

Instantly share code, notes, and snippets.


Alexandre Moreno moleike

View GitHub Profile
moleike / CC.hs
Created Jul 4, 2020 — forked from atennapel/CC.hs
Calculus of Constructions, normalization-by-evaluation, semantic typechecking
View CC.hs
data Tm = Var Int | Ann Tm Tm | Abs Tm | App Tm Tm | Pi Tm Tm | Fix Tm | Uni
data Clos = Clos Tm Env
data Dm = DVar Int | DAbs Clos | DNeutral Int [Dm] | DPi Dm Clos | DFix Clos | DUni
type Env = [Dm]
capp :: Clos -> Dm -> Dm
capp (Clos b e) t = eval (t : e) b
vapp :: Dm -> Dm -> Dm
vapp a b =
moleike /
Created Apr 28, 2020 — forked from thomasdarimont/
Simple AuthN & AuthZ example with Spring Boot / Security / Session
package demo;
import java.util.Collection;
import java.util.Collections;
import java.util.HashMap;
import java.util.Map;
import java.util.UUID;
View AQI.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeOperators #-}

Keybase proof

I hereby claim:

  • I am moleike on github.
  • I am moleike ( on keybase.
  • I have a public key whose fingerprint is CDC4 894D F650 5812 3224 B997 C5CD DE66 C45A DD8F

To claim this, I am signing this object:

View routes.scala
import io.finch._
import io.finch.syntax._
import shapeless._
import scala.language.existentials
trait Route {
private object base extends Endpoint[HNil] {
def apply(input: Input): Endpoint.Result[HNil] = EndpointResult.NotMatched
moleike / pair_programming_roles
Created Mar 23, 2018 — forked from jordanpoulton/pair_programming_roles
Pair Programming Role Definitions - Driver:Navigator
View pair_programming_roles
-Write the code according to the navigator's specification
-Listen intently to the navigators instructions
-Ask questions wherever there is a lack of clarity
-Offer alternative solutions if you disagree with the navigator
-Where there is disagreement, defer to the navigator. If their idea fails, get to failure quickly and move on
-Make sure code is clean
-Own the computer / keyboard
-Ignore larger issues and focus on the task at hand
-Trust the navigator - ultimately the navigator has the final say in what is written
moleike / ssh_client.go
Created Mar 15, 2018 — forked from svett/ssh_client.go
SSH client in GO
View ssh_client.go
package main
import (
View tmux-cheatsheet.markdown

tmux shortcuts & cheatsheet

start new:


start new with session name:

tmux new -s myname
moleike / Makefile
Created Mar 2, 2018 — forked from llj098/Makefile
a sample tcp server runs in kernel
View Makefile
obj-m += tcp_svr_sample.o
make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules
make -C /lib/modules/$(shell uname -r)/build M=$(PWD) clea
moleike /
Created Jan 14, 2018 — forked from CMCDragonkai/
Linux: Understanding the Memory Layout of Linux Executables

Understanding the Memory Layout of Linux Executables

Required tools for playing around with memory:

  • hexdump
  • objdump
  • readelf
  • xxd
  • gcore
You can’t perform that action at this time.