lasamlai's repositories
peg_syntax
PEG Syntax for the Prolog
cll-parser
ye olde baseline parser (version 3.0.00 from the CLL)
date_time
Logical arithmetic on dates and times in Prolog
Language:PrologMIT000
logo_in_rust
Implementation of the LOGO language on the Rust course at the University of Wrocław.
Language:Rust000
lojban-parser
the old C lojban parser in all it's glory (with fixes)
Language:CNOASSERTION000
ocaml-ci
A CI for OCaml projects
Language:OCaml000
unification
Implementation of the unification algorithm with backtracking.
Language:OCaml000