Baha - Giters

Adrian Palacios's repositories

maper

Language:Prolog4 40

symgen

Language:Erlang100

Yet-Another-Huffman-Encoder

A Huffman Encoder built in C++

Language:C++1 20

Yet-Another-Lempel-Ziv-Encoder

A Lempel-Ziv Encoder built in C++

Language:C++1 20

academic_webpage

Personal webpage

Language:HTML020

amazon-freertos

IoT operating system for microcontrollers.

Language:CMIT000

baha.github.io

My professional Jekyll-based blog.

Language:JavaScriptMIT000

biom_project

An implementation of the Schneiderman & Kanade algorithm for face detection using Matlab

Language:Matlab000

cauder2

Language:Erlang020

code-screen

Making beautiful code screenshots with highlight.js

Language:HTML000

comp-ling_project

Language:Shell000

cuter

A concolic testing tool for the Erlang functional programming language.

Language:ErlangGPL-3.0020

Instant-Codes

A python module that computes instant codes

Language:Python000

jap-adjs

Language:Prolog020

port-comm

Test of port communication with Erlang and Python

Language:Erlang000

Practica5PRG

Pruebas para el código de la práctica 5 de PRG

Language:Java020

proper-examples

Language:OpenEdge ABL000

quantum-comp-utils

Language:Matlab000

tokenize

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.

Language:PrologUnlicense000

tuenti-challenge-4

Language:Python000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000