Skip to content

Instantly share code, notes, and snippets.


Luiz Fernando Peres luizperes

View GitHub Profile
luizperes /
Last active Apr 23, 2019
  • Jan 10th, 2019:
    • Got introduced to Parabix
    • Built LLVM and icgrep and got started with icgrep
    • Understood the basics of UTF-8 character encoding
  • Jan 12th, 2019:
    • Read some of the pages of CMPT 489 (
    • Got started with the basics of Pablo language
    • Understood the basics of the approach used by Parabix regarding bitwise data parallelism
    • Did small changes and created a new function simd_ternary on existing code (files idisa_builder.(h|cpp) and idisa_avx_builder.(h|cpp)).
  • Jan 16th, 2019:

Keybase proof

I hereby claim:

  • I am luizperes on github.
  • I am luizperes ( on keybase.
  • I have a public key ASBzXPelWE8hQNRjtplGWUzM2XEdDRfk4pw-3cvR8SHrcgo

To claim this, I am signing this object:

View wang.hs
import System.Environment
import Data.Char (isSpace)
import Control.Applicative
data PF = Prop Char
| Neg PF
| Conj PF PF
| Disj PF PF
| Imp PF PF
| Equiv PF PF
View trampoline.c
#include <stdio.h>
#include <stdlib.h>
typedef int (*Fn) (int);
typedef struct _list {
int n;
Fn f;
} list;
View hello_world.brain
View helloworld_c.s
.file "blah.c"
.globl main
.align 16, 0x90
.type main,@function
main: # @main
# BB#0:
pushq %rbp
View index.html
<script type="text/javascript">
if (undefined === window.exports) {
window.exports = {};
<script type="text/javascript" src="./ling-highlighter.js"></script>
<script type="text/javascript">
document.addEventListener('DOMContentLoaded', function() {
View agens_graph_idea.fs
// Learn more about F# at
module Checker
open FSharp.Core
open Microsoft.FSharp.Reflection
type Person = {
name: string;
age: int
View bf.fs
open System
type State = {
Tape : int[]
Index : int
let print_tape state : State =
printfn "%A" state.Tape
You can’t perform that action at this time.