jariazavalverde/stuff jariazavalverde/stuff

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jariazavalverde/stuff
github

jariazavalverde

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Random useless stuff

More Repositories

1

fasill

Fuzzy Aggregators and Similarity Into a Logic Language
Prolog
21
star
2

blog

Blog sobre programación declarativa, lógica y funcional
Haskell
8
star
3

prolog-smtlib

An SMT-LIB parser in Prolog
Prolog
8
star
4

sat

Boolean satisfiability problem
C
6
star
5

prolog-lens

Prolog
2
star
6

prolog-union-find

A union-find algorithm implementation for SWI-Prolog
Prolog
2
star
7

graphs

A generator of graphs written in Python and LaTeX
TeX
1
star
8

prolog-dimacs

A set of parsers for DIMACS formats written in Prolog
Prolog
1
star
9

cheso

Cheso chess engine
Rust
1
star
10

ts-pio

A monadic library for I/O actions in TypeScript
TypeScript
1
star