8000 Commits · mthom/scryer-prolog · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jul 2, 2025

be more careful about concatenating '.' in parse_number_from_string (#2986)
mthom
committed

Commits on Jun 17, 2025

Commits on Jun 14, 2025

use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N
triska
committed

Commits on May 28, 2025

Merge pull request #2965 from rotu/zygomorphic-puma
mthom
authored

Commits on May 25, 2025

Commits on May 22, 2025

Remove obsolete compatibility for Rust<1.80
rotu
committed

Commits on May 20, 2025

Merge pull request #2955 from rotu/radical-cockroach
mthom
authored

Commits on May 14, 2025

Commits on May 13, 2025

Update dependencies and fix breaking changes in libffi-sys and arcu
bakaq
committed

Commits on May 9, 2025

Commits on May 2, 2025

Merge pull request #2802 from adri326/null-stream-safety
mthom
authored

Commits on May 1, 2025

Merge pull request #2930 from triska/meetups
mthom
authored

Commits on Apr 23, 2025

Commits on Apr 22, 2025

Commits on Apr 21, 2025

Commits on Apr 19, 2025

Update `libffi` and `libffi-sys` dependencies to fix aarch64 macOS build
hakujin
committed

Commits on Apr 13, 2025

Commits on Apr 12, 2025

enumerate applications, add AD4M by @coasys
triska
committed
Example update to use iterable.

constraintAutomaton
authored and
constraintAutomaton
committed
Merge branch 'master' into doc/update-readme-wasm-example

constraintAutomaton
authored and
constraintAutomaton
committed
Merge pull request #2875 from constraintAutomaton/feature/wasm-result-iterator
mthom
authored

0