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