Jose Luis Quiroga Beltran's repositories
joseluisquiroga.github.io
Website de Jose Luis Quiroga
bible-codex-analyser
Text file based bible codex database to analyse the original hebrew and greek with SQLite and other linux tools.
sfz_organizer
A command line program to copy and move sfz soundfonts keeping sample references consistent.
bug_1_polyphone
File that show the bug
gateprog
It is NOT a description language
satex
sat solver
gen-sat-inst
sat instance generator
just-cry
Symmetric cipher
sha2-cpp
C++ implementation of the sha2 standard.
tak-mak
C++ implementation of the MT19937 random number generator by Takuji Nishimura and Makoto Matsumoto
kicad-spiral-inductor-generator
Generates segments for kicad's pcbnew editor that form an spiral and can work as an inductor.
messaging-cells
https://messaging-cells.github.io/
parallella-baby-steps
Simple tests I am doing to get to know the platform
ben-jose
Trainable SAT Solver Library.
toda-carne.github.io
Esta escrito: "Toda carne verá la salvación de Dios".
tests-ben-jose
DIMACS CNFs repository to test ben-jose