renan061

Pinned Repositories

aria
The compiler for the Aria language using Lex, Yacc, LLVM and POSIX Threads
Language:LLVM7 1 10
aria-ocaml
Aria compiler in OCaml.
Language:Makefile0 1 00
elo
Language:OCaml1 2 00
elo-coq
Language:Coq1 2 00
elo-haskell
Parser combinator for the Elo language written in Haskell.
Language:Haskell0 2 00
gollup
Language:Go00
llb
Lua binding for LLVM C API
Language:Lua0 1 00
monga-compiler
A compiler for Monga (C subset) using Lex, Yacc and LLVM
Language:LLVM2 1 00
nvim
Neovim configurations.
Language:Lua0 2 00
ppa
From the book Principles of Program Analysis.
Language:Haskell00

renan061's Repositories

renan061/aria
The compiler for the Aria language using Lex, Yacc, LLVM and POSIX Threads
Language:LLVM7 1 10
renan061/monga-compiler
A compiler for Monga (C subset) using Lex, Yacc and LLVM
Language:LLVM2 1 00
renan061/elo
Language:OCaml1 2 00
renan061/elo-coq
Language:Coq1 2 00
renan061/aria-ocaml
Aria compiler in OCaml.
Language:Makefile0 1 00
renan061/elo-haskell
Parser combinator for the Elo language written in Haskell.
Language:Haskell0 2 00
renan061/gollup
Language:Go00
renan061/llb
Lua binding for LLVM C API
Language:Lua0 1 00
renan061/nvim
Neovim configurations.
Language:Lua0 2 00
renan061/ppa
From the book Principles of Program Analysis.
Language:Haskell00
renan061/puc
Projects from courses taken at the university.
Language:Agda1 0
renan061/puc-distributed-systems
Language:Lua1 0
renan061/rollmelette
Cartesi Rollups High-Level Framework for Golang
renan061/scala-playground
Solutions from Coursera's "Functional Programming Principles in Scala" course.
Language:Scala1 0
renan061/storm-challenge
Language:Swift1 0