Baha
PhD in Computer Science, interested in: functional programming, term rewriting, concurrency.
Universitat Politècnica de ValènciaValencia, Spain
Pinned Repositories
april-ann
APRIL-ANN toolkit (A Pattern Recognizer In Lua with ANNs). This toolkit incorporates ANN algorithms (as dropout, stacked denoising auto-encoders, convolutional NNs), with other pattern recognition methods as HMMs among others. Additionally, in experimental stage, it is possible to perform automatic differentiation, for advanced ML research.
academic_webpage
Personal webpage
amazon-freertos
IoT operating system for microcontrollers.
maper
symgen
Yet-Another-Huffman-Encoder
A Huffman Encoder built in C++
Yet-Another-Lempel-Ziv-Encoder
A Lempel-Ziv Encoder built in C++
cauder-core
A Causal-Consistent Debugger for (Core) Erlang
rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
tracer
Baha's Repositories
Baha/maper
Baha/symgen
Baha/Yet-Another-Huffman-Encoder
A Huffman Encoder built in C++
Baha/Yet-Another-Lempel-Ziv-Encoder
A Lempel-Ziv Encoder built in C++
Baha/academic_webpage
Personal webpage
Baha/amazon-freertos
IoT operating system for microcontrollers.
Baha/baha.github.io
My professional Jekyll-based blog.
Baha/biom_project
An implementation of the Schneiderman & Kanade algorithm for face detection using Matlab
Baha/cauder2
Baha/code-screen
Making beautiful code screenshots with highlight.js
Baha/comp-ling_project
Baha/cuter
A concolic testing tool for the Erlang functional programming language.
Baha/Instant-Codes
A python module that computes instant codes
Baha/jap-adjs
Baha/port-comm
Test of port communication with Erlang and Python
Baha/Practica5PRG
Pruebas para el código de la práctica 5 de PRG
Baha/proper-examples
Baha/quantum-comp-utils
Baha/tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
Baha/tuenti-challenge-4
Baha/z3
The Z3 Theorem Prover