repositories with Prolog
Displaying 1-5 of 5 total results

ekzhang

ekzhang/aoc21-alpha

Advent of Code 2021 in 25 different languages, alphabet soup edition

algorithms polyglot advent-of-code programming-languages competitive-programming advent-of-code-2021 alphabet-soup
  • 14
  • 0
  • 0
  • 0
  • 0
  • over 4 years ago
zachelrath

zachelrath/aoc2020

Advent of Code 2020 exercises

  • 0
  • 0
  • 0
  • 0
  • 0
  • over 5 years ago
Locke23rus

Locke23rus/advent_of_code

  • 0
  • 0
  • 0
  • 0
  • 0
  • over 1 year ago
def-

def-/adventofcode-2020

Advent of Code 2020 solutions

  • 0
  • 0
  • 0
  • 0
  • 0
  • over 5 years ago
dsisnero

dsisnero/chiasmus.cr

Crystal port of chiasmus: MCP server for formal verification with Z3 SMT solver, SWI-Prolog, and tree-sitter-based source code analysis. Uses Crig for LLM integration with DeepSeek support.

  • 0
  • 0
  • 0
  • 0
  • 11
  • 7 days ago