jariazavalverde/blog jariazavalverde/blog

  • Stars
    star
    8
  • Rank 2,089,111 (Top 42 %)
  • Language
    Haskell
  • Created almost 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jariazavalverde/blog
github

jariazavalverde

Reviews

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

Repository Details

Blog sobre programación declarativa, lógica y funcional

More Repositories

1

fasill

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

prolog-smtlib

An SMT-LIB parser in Prolog
Prolog
7
star
3

sat

Boolean satisfiability problem
C
6
star
4

prolog-lens

Prolog
2
star
5

prolog-union-find

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

stuff

Random useless stuff
Haskell
1
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